#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            1

#define _N                   2640 // Nombre de Variables
#define _K                   1320 // Nombre de Checks   
#define _M                   7920 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                6

#define DEG_1_COMPUTATIONS   1320

#define NB_ITERATIONS        20
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)

#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[7920] ={
/* msg =      0, deg =  6 */      7,    252,    325,   1324,   2419,   2456, 
/* msg =      1, deg =  6 */      8,    243,    327,   1325,   2417,   2454, 
/* msg =      2, deg =  6 */      9,    245,    329,   1326,   2415,   2463, 
/* msg =      3, deg =  6 */     10,    247,    320,   1327,   2413,   2461, 
/* msg =      4, deg =  6 */      0,    249,    322,   1328,   2411,   2459, 
/* msg =      5, deg =  6 */      1,    251,    324,   1329,   2409,   2457, 
/* msg =      6, deg =  6 */      2,    242,    326,   1330,   2418,   2455, 
/* msg =      7, deg =  6 */      3,    244,    328,   1320,   2416,   2453, 
/* msg =      8, deg =  6 */      4,    246,    319,   1321,   2414,   2462, 
/* msg =      9, deg =  6 */      5,    248,    321,   1322,   2412,   2460, 
/* msg =     10, deg =  6 */      6,    250,    323,   1323,   2410,   2458, 
/* msg =     11, deg =  6 */     20,    500,    531,   1333,   2183,   2273, 
/* msg =     12, deg =  6 */     21,    502,    533,   1334,   2181,   2271, 
/* msg =     13, deg =  6 */     11,    504,    535,   1335,   2179,   2269, 
/* msg =     14, deg =  6 */     12,    495,    537,   1336,   2188,   2267, 
/* msg =     15, deg =  6 */     13,    497,    528,   1337,   2186,   2276, 
/* msg =     16, deg =  6 */     14,    499,    530,   1338,   2184,   2274, 
/* msg =     17, deg =  6 */     15,    501,    532,   1339,   2182,   2272, 
/* msg =     18, deg =  6 */     16,    503,    534,   1340,   2180,   2270, 
/* msg =     19, deg =  6 */     17,    505,    536,   1341,   2178,   2268, 
/* msg =     20, deg =  6 */     18,    496,    538,   1331,   2187,   2266, 
/* msg =     21, deg =  6 */     19,    498,    529,   1332,   2185,   2275, 
/* msg =     22, deg =  6 */     28,    739,    755,   1347,   1954,   1959, 
/* msg =     23, deg =  6 */     29,    741,    757,   1348,   1952,   1968, 
/* msg =     24, deg =  6 */     30,    743,    748,   1349,   1950,   1966, 
/* msg =     25, deg =  6 */     31,    745,    750,   1350,   1948,   1964, 
/* msg =     26, deg =  6 */     32,    747,    752,   1351,   1957,   1962, 
/* msg =     27, deg =  6 */     22,    738,    754,   1352,   1955,   1960, 
/* msg =     28, deg =  6 */     23,    740,    756,   1342,   1953,   1958, 
/* msg =     29, deg =  6 */     24,    742,    758,   1343,   1951,   1967, 
/* msg =     30, deg =  6 */     25,    744,    749,   1344,   1949,   1965, 
/* msg =     31, deg =  6 */     26,    746,    751,   1345,   1947,   1963, 
/* msg =     32, deg =  6 */     27,    737,    753,   1346,   1956,   1961, 
/* msg =     33, deg =  6 */     43,   1009,   1074,   1354,   1724,   1780, 
/* msg =     34, deg =  6 */     33,   1011,   1076,   1355,   1722,   1778, 
/* msg =     35, deg =  6 */     34,   1002,   1067,   1356,   1720,   1776, 
/* msg =     36, deg =  6 */     35,   1004,   1069,   1357,   1718,   1774, 
/* msg =     37, deg =  6 */     36,   1006,   1071,   1358,   1716,   1772, 
/* msg =     38, deg =  6 */     37,   1008,   1073,   1359,   1725,   1781, 
/* msg =     39, deg =  6 */     38,   1010,   1075,   1360,   1723,   1779, 
/* msg =     40, deg =  6 */     39,   1001,   1077,   1361,   1721,   1777, 
/* msg =     41, deg =  6 */     40,   1003,   1068,   1362,   1719,   1775, 
/* msg =     42, deg =  6 */     41,   1005,   1070,   1363,   1717,   1773, 
/* msg =     43, deg =  6 */     42,   1007,   1072,   1353,   1726,   1771, 
/* msg =     44, deg =  6 */     52,   1256,   1286,   1367,   1468,   1487, 
/* msg =     45, deg =  6 */     53,   1258,   1277,   1368,   1466,   1485, 
/* msg =     46, deg =  6 */     54,   1260,   1279,   1369,   1464,   1494, 
/* msg =     47, deg =  6 */     44,   1262,   1281,   1370,   1473,   1492, 
/* msg =     48, deg =  6 */     45,   1264,   1283,   1371,   1471,   1490, 
/* msg =     49, deg =  6 */     46,   1255,   1285,   1372,   1469,   1488, 
/* msg =     50, deg =  6 */     47,   1257,   1276,   1373,   1467,   1486, 
/* msg =     51, deg =  6 */     48,   1259,   1278,   1374,   1465,   1495, 
/* msg =     52, deg =  6 */     49,   1261,   1280,   1364,   1463,   1493, 
/* msg =     53, deg =  6 */     50,   1263,   1282,   1365,   1472,   1491, 
/* msg =     54, deg =  6 */     51,   1254,   1284,   1366,   1470,   1489, 
/* msg =     55, deg =  6 */     58,    155,    185,   1383,   2594,   2613, 
/* msg =     56, deg =  6 */     59,    157,    176,   1384,   2592,   2611, 
/* msg =     57, deg =  6 */     60,    159,    178,   1385,   2590,   2609, 
/* msg =     58, deg =  6 */     61,    161,    180,   1375,   2588,   2607, 
/* msg =     59, deg =  6 */     62,    163,    182,   1376,   2586,   2616, 
/* msg =     60, deg =  6 */     63,    154,    184,   1377,   2595,   2614, 
/* msg =     61, deg =  6 */     64,    156,    186,   1378,   2593,   2612, 
/* msg =     62, deg =  6 */     65,    158,    177,   1379,   2591,   2610, 
/* msg =     63, deg =  6 */     55,    160,    179,   1380,   2589,   2608, 
/* msg =     64, deg =  6 */     56,    162,    181,   1381,   2587,   2617, 
/* msg =     65, deg =  6 */     57,    164,    183,   1382,   2585,   2615, 
/* msg =     66, deg =  6 */     67,    367,    432,   1396,   2301,   2357, 
/* msg =     67, deg =  6 */     68,    369,    434,   1386,   2299,   2355, 
/* msg =     68, deg =  6 */     69,    371,    436,   1387,   2308,   2364, 
/* msg =     69, deg =  6 */     70,    373,    438,   1388,   2306,   2362, 
/* msg =     70, deg =  6 */     71,    364,    429,   1389,   2304,   2360, 
/* msg =     71, deg =  6 */     72,    366,    431,   1390,   2302,   2358, 
/* msg =     72, deg =  6 */     73,    368,    433,   1391,   2300,   2356, 
/* msg =     73, deg =  6 */     74,    370,    435,   1392,   2309,   2354, 
/* msg =     74, deg =  6 */     75,    372,    437,   1393,   2307,   2363, 
/* msg =     75, deg =  6 */     76,    363,    439,   1394,   2305,   2361, 
/* msg =     76, deg =  6 */     66,    365,    430,   1395,   2303,   2359, 
/* msg =     77, deg =  6 */     82,    686,    702,   1403,   2122,   2127, 
/* msg =     78, deg =  6 */     83,    688,    693,   1404,   2120,   2125, 
/* msg =     79, deg =  6 */     84,    690,    695,   1405,   2118,   2123, 
/* msg =     80, deg =  6 */     85,    692,    697,   1406,   2116,   2132, 
/* msg =     81, deg =  6 */     86,    683,    699,   1407,   2114,   2130, 
/* msg =     82, deg =  6 */     87,    685,    701,   1397,   2112,   2128, 
/* msg =     83, deg =  6 */     77,    687,    703,   1398,   2121,   2126, 
/* msg =     84, deg =  6 */     78,    689,    694,   1399,   2119,   2124, 
/* msg =     85, deg =  6 */     79,    691,    696,   1400,   2117,   2133, 
/* msg =     86, deg =  6 */     80,    682,    698,   1401,   2115,   2131, 
/* msg =     87, deg =  6 */     81,    684,    700,   1402,   2113,   2129, 
/* msg =     88, deg =  6 */     90,    910,    941,   1417,   1808,   1898, 
/* msg =     89, deg =  6 */     91,    912,    943,   1418,   1806,   1896, 
/* msg =     90, deg =  6 */     92,    903,    945,   1408,   1804,   1894, 
/* msg =     91, deg =  6 */     93,    905,    936,   1409,   1813,   1892, 
/* msg =     92, deg =  6 */     94,    907,    938,   1410,   1811,   1901, 
/* msg =     93, deg =  6 */     95,    909,    940,   1411,   1809,   1899, 
/* msg =     94, deg =  6 */     96,    911,    942,   1412,   1807,   1897, 
/* msg =     95, deg =  6 */     97,    902,    944,   1413,   1805,   1895, 
/* msg =     96, deg =  6 */     98,    904,    935,   1414,   1814,   1893, 
/* msg =     97, deg =  6 */     88,    906,    937,   1415,   1812,   1902, 
/* msg =     98, deg =  6 */     89,    908,    939,   1416,   1810,   1900, 
/* msg =     99, deg =  6 */    103,   1116,   1189,   1426,   1625,   1662, 
/* msg =    100, deg =  6 */    104,   1118,   1191,   1427,   1623,   1671, 
/* msg =    101, deg =  6 */    105,   1120,   1193,   1428,   1621,   1669, 
/* msg =    102, deg =  6 */    106,   1111,   1195,   1429,   1619,   1667, 
/* msg =    103, deg =  6 */    107,   1113,   1197,   1419,   1617,   1665, 
/* msg =    104, deg =  6 */    108,   1115,   1188,   1420,   1626,   1663, 
/* msg =    105, deg =  6 */    109,   1117,   1190,   1421,   1624,   1661, 
/* msg =    106, deg =  6 */     99,   1119,   1192,   1422,   1622,   1670, 
/* msg =    107, deg =  6 */    100,   1121,   1194,   1423,   1620,   1668, 
/* msg =    108, deg =  6 */    101,   1112,   1196,   1424,   1618,   1666, 
/* msg =    109, deg =  6 */    102,   1114,   1198,   1425,   1627,   1664, 
/* msg =    110, deg =  6 */    112,    154,    629,   1439,   1507,   2374, 
/* msg =    111, deg =  6 */    113,    155,    634,   1440,   1508,   2371, 
/* msg =    112, deg =  6 */    114,    156,    628,   1430,   1509,   2368, 
/* msg =    113, deg =  6 */    115,    157,    633,   1431,   1510,   2365, 
/* msg =    114, deg =  6 */    116,    158,    627,   1432,   1511,   2373, 
/* msg =    115, deg =  6 */    117,    159,    632,   1433,   1512,   2370, 
/* msg =    116, deg =  6 */    118,    160,    637,   1434,   1513,   2367, 
/* msg =    117, deg =  6 */    119,    161,    631,   1435,   1514,   2375, 
/* msg =    118, deg =  6 */    120,    162,    636,   1436,   1515,   2372, 
/* msg =    119, deg =  6 */    110,    163,    630,   1437,   1516,   2369, 
/* msg =    120, deg =  6 */    111,    164,    635,   1438,   1517,   2366, 
/* msg =    121, deg =  6 */    165,    365,    838,   1518,   2066,   2539, 
/* msg =    122, deg =  6 */    166,    368,    845,   1519,   2061,   2538, 
/* msg =    123, deg =  6 */    167,    371,    841,   1520,   2067,   2537, 
/* msg =    124, deg =  6 */    168,    363,    837,   1521,   2062,   2536, 
/* msg =    125, deg =  6 */    169,    366,    844,   1522,   2057,   2535, 
/* msg =    126, deg =  6 */    170,    369,    840,   1523,   2063,   2534, 
/* msg =    127, deg =  6 */    171,    372,    836,   1524,   2058,   2533, 
/* msg =    128, deg =  6 */    172,    364,    843,   1525,   2064,   2532, 
/* msg =    129, deg =  6 */    173,    367,    839,   1526,   2059,   2531, 
/* msg =    130, deg =  6 */    174,    370,    846,   1527,   2065,   2530, 
/* msg =    131, deg =  6 */    175,    373,    842,   1528,   2060,   2540, 
/* msg =    132, deg =  6 */    176,    618,   1168,   1529,   1879,   2308, 
/* msg =    133, deg =  6 */    177,    623,   1166,   1530,   1872,   2305, 
/* msg =    134, deg =  6 */    178,    617,   1175,   1531,   1876,   2302, 
/* msg =    135, deg =  6 */    179,    622,   1173,   1532,   1880,   2299, 
/* msg =    136, deg =  6 */    180,    616,   1171,   1533,   1873,   2307, 
/* msg =    137, deg =  6 */    181,    621,   1169,   1534,   1877,   2304, 
/* msg =    138, deg =  6 */    182,    626,   1167,   1535,   1870,   2301, 
/* msg =    139, deg =  6 */    183,    620,   1176,   1536,   1874,   2309, 
/* msg =    140, deg =  6 */    184,    625,   1174,   1537,   1878,   2306, 
/* msg =    141, deg =  6 */    185,    619,   1172,   1538,   1871,   2303, 
/* msg =    142, deg =  6 */    186,    624,   1170,   1539,   1875,   2300, 
/* msg =    143, deg =  6 */     52,    187,    871,   1540,   1571,   2077, 
/* msg =    144, deg =  6 */     46,    188,    878,   1541,   1562,   2072, 
/* msg =    145, deg =  6 */     51,    189,    874,   1542,   1564,   2078, 
/* msg =    146, deg =  6 */     45,    190,    870,   1543,   1566,   2073, 
/* msg =    147, deg =  6 */     50,    191,    877,   1544,   1568,   2068, 
/* msg =    148, deg =  6 */     44,    192,    873,   1545,   1570,   2074, 
/* msg =    149, deg =  6 */     49,    193,    869,   1546,   1572,   2069, 
/* msg =    150, deg =  6 */     54,    194,    876,   1547,   1563,   2075, 
/* msg =    151, deg =  6 */     48,    195,    872,   1548,   1565,   2070, 
/* msg =    152, deg =  6 */     53,    196,    879,   1549,   1567,   2076, 
/* msg =    153, deg =  6 */     47,    197,    875,   1550,   1569,   2071, 
/* msg =    154, deg =  6 */    198,    255,   1124,   1380,   1430,   1846, 
/* msg =    155, deg =  6 */    199,    257,   1122,   1375,   1431,   1839, 
/* msg =    156, deg =  6 */    200,    259,   1131,   1381,   1432,   1843, 
/* msg =    157, deg =  6 */    201,    261,   1129,   1376,   1433,   1847, 
/* msg =    158, deg =  6 */    202,    263,   1127,   1382,   1434,   1840, 
/* msg =    159, deg =  6 */    203,    254,   1125,   1377,   1435,   1844, 
/* msg =    160, deg =  6 */    204,    256,   1123,   1383,   1436,   1837, 
/* msg =    161, deg =  6 */    205,    258,   1132,   1378,   1437,   1841, 
/* msg =    162, deg =  6 */    206,    260,   1130,   1384,   1438,   1845, 
/* msg =    163, deg =  6 */    207,    262,   1128,   1379,   1439,   1838, 
/* msg =    164, deg =  6 */    208,    253,   1126,   1385,   1440,   1842, 
/* msg =    165, deg =  6 */     45,    209,    585,   1441,   1615,   2407, 
/* msg =    166, deg =  6 */     50,    210,    589,   1442,   1606,   2405, 
/* msg =    167, deg =  6 */     44,    211,    593,   1443,   1608,   2403, 
/* msg =    168, deg =  6 */     49,    212,    586,   1444,   1610,   2401, 
/* msg =    169, deg =  6 */     54,    213,    590,   1445,   1612,   2399, 
/* msg =    170, deg =  6 */     48,    214,    583,   1446,   1614,   2408, 
/* msg =    171, deg =  6 */     53,    215,    587,   1447,   1616,   2406, 
/* msg =    172, deg =  6 */     47,    216,    591,   1448,   1607,   2404, 
/* msg =    173, deg =  6 */     52,    217,    584,   1449,   1609,   2402, 
/* msg =    174, deg =  6 */     46,    218,    588,   1450,   1611,   2400, 
/* msg =    175, deg =  6 */     51,    219,    592,   1451,   1613,   2398, 
/* msg =    176, deg =  6 */    220,    299,    794,   1376,   1452,   2220, 
/* msg =    177, deg =  6 */    221,    301,    800,   1382,   1453,   2216, 
/* msg =    178, deg =  6 */    222,    303,    795,   1377,   1454,   2212, 
/* msg =    179, deg =  6 */    223,    305,    801,   1383,   1455,   2219, 
/* msg =    180, deg =  6 */    224,    307,    796,   1378,   1456,   2215, 
/* msg =    181, deg =  6 */    225,    298,    802,   1384,   1457,   2211, 
/* msg =    182, deg =  6 */    226,    300,    797,   1379,   1458,   2218, 
/* msg =    183, deg =  6 */    227,    302,    792,   1385,   1459,   2214, 
/* msg =    184, deg =  6 */    228,    304,    798,   1380,   1460,   2221, 
/* msg =    185, deg =  6 */    229,    306,    793,   1375,   1461,   2217, 
/* msg =    186, deg =  6 */    230,    297,    799,   1381,   1462,   2213, 
/* msg =    187, deg =  6 */    110,    552,   1003,   1463,   2033,   2484, 
/* msg =    188, deg =  6 */    111,    556,   1011,   1464,   2027,   2482, 
/* msg =    189, deg =  6 */    112,    560,   1008,   1465,   2032,   2480, 
/* msg =    190, deg =  6 */    113,    553,   1005,   1466,   2026,   2478, 
/* msg =    191, deg =  6 */    114,    557,   1002,   1467,   2031,   2476, 
/* msg =    192, deg =  6 */    115,    550,   1010,   1468,   2025,   2485, 
/* msg =    193, deg =  6 */    116,    554,   1007,   1469,   2030,   2483, 
/* msg =    194, deg =  6 */    117,    558,   1004,   1470,   2024,   2481, 
/* msg =    195, deg =  6 */    118,    551,   1001,   1471,   2029,   2479, 
/* msg =    196, deg =  6 */    119,    555,   1009,   1472,   2034,   2477, 
/* msg =    197, deg =  6 */    120,    559,   1006,   1473,   2028,   2475, 
/* msg =    198, deg =  6 */    121,    805,   1212,   1474,   1725,   2253, 
/* msg =    199, deg =  6 */    122,    811,   1211,   1475,   1717,   2249, 
/* msg =    200, deg =  6 */    123,    806,   1210,   1476,   1720,   2245, 
/* msg =    201, deg =  6 */    124,    812,   1220,   1477,   1723,   2252, 
/* msg =    202, deg =  6 */    125,    807,   1219,   1478,   1726,   2248, 
/* msg =    203, deg =  6 */    126,    813,   1218,   1479,   1718,   2244, 
/* msg =    204, deg =  6 */    127,    808,   1217,   1480,   1721,   2251, 
/* msg =    205, deg =  6 */    128,    803,   1216,   1481,   1724,   2247, 
/* msg =    206, deg =  6 */    129,    809,   1215,   1482,   1716,   2254, 
/* msg =    207, deg =  6 */    130,    804,   1214,   1483,   1719,   2250, 
/* msg =    208, deg =  6 */    131,    810,   1213,   1484,   1722,   2246, 
/* msg =    209, deg =  6 */    132,    211,   1058,   1485,   1538,   2022, 
/* msg =    210, deg =  6 */    133,    212,   1066,   1486,   1539,   2016, 
/* msg =    211, deg =  6 */    134,    213,   1063,   1487,   1529,   2021, 
/* msg =    212, deg =  6 */    135,    214,   1060,   1488,   1530,   2015, 
/* msg =    213, deg =  6 */    136,    215,   1057,   1489,   1531,   2020, 
/* msg =    214, deg =  6 */    137,    216,   1065,   1490,   1532,   2014, 
/* msg =    215, deg =  6 */    138,    217,   1062,   1491,   1533,   2019, 
/* msg =    216, deg =  6 */    139,    218,   1059,   1492,   1534,   2013, 
/* msg =    217, deg =  6 */    140,    219,   1056,   1493,   1535,   2018, 
/* msg =    218, deg =  6 */    141,    209,   1064,   1494,   1536,   2023, 
/* msg =    219, deg =  6 */    142,    210,   1061,   1495,   1537,   2017, 
/* msg =    220, deg =  6 */    143,    420,   1311,   1496,   1791,   2561, 
/* msg =    221, deg =  6 */    144,    423,   1310,   1497,   1783,   2560, 
/* msg =    222, deg =  6 */    145,    426,   1309,   1498,   1786,   2559, 
/* msg =    223, deg =  6 */    146,    418,   1319,   1499,   1789,   2558, 
/* msg =    224, deg =  6 */    147,    421,   1318,   1500,   1792,   2557, 
/* msg =    225, deg =  6 */    148,    424,   1317,   1501,   1784,   2556, 
/* msg =    226, deg =  6 */    149,    427,   1316,   1502,   1787,   2555, 
/* msg =    227, deg =  6 */    150,    419,   1315,   1503,   1790,   2554, 
/* msg =    228, deg =  6 */    151,    422,   1314,   1504,   1782,   2553, 
/* msg =    229, deg =  6 */    152,    425,   1313,   1505,   1785,   2552, 
/* msg =    230, deg =  6 */    153,    428,   1312,   1506,   1788,   2562, 
/* msg =    231, deg =  6 */    232,    319,   1266,   1561,   1584,   1979, 
/* msg =    232, deg =  6 */    233,    320,   1271,   1551,   1585,   1976, 
/* msg =    233, deg =  6 */    234,    321,   1265,   1552,   1586,   1973, 
/* msg =    234, deg =  6 */    235,    322,   1270,   1553,   1587,   1970, 
/* msg =    235, deg =  6 */    236,    323,   1275,   1554,   1588,   1978, 
/* msg =    236, deg =  6 */    237,    324,   1269,   1555,   1589,   1975, 
/* msg =    237, deg =  6 */    238,    325,   1274,   1556,   1590,   1972, 
/* msg =    238, deg =  6 */    239,    326,   1268,   1557,   1591,   1969, 
/* msg =    239, deg =  6 */    240,    327,   1273,   1558,   1592,   1977, 
/* msg =    240, deg =  6 */    241,    328,   1267,   1559,   1593,   1974, 
/* msg =    241, deg =  6 */    231,    329,   1272,   1560,   1594,   1971, 
/* msg =    242, deg =  6 */    144,    330,    485,   1326,   1595,   1792, 
/* msg =    243, deg =  6 */    150,    331,    487,   1321,   1596,   1788, 
/* msg =    244, deg =  6 */    145,    332,    489,   1327,   1597,   1784, 
/* msg =    245, deg =  6 */    151,    333,    491,   1322,   1598,   1791, 
/* msg =    246, deg =  6 */    146,    334,    493,   1328,   1599,   1787, 
/* msg =    247, deg =  6 */    152,    335,    484,   1323,   1600,   1783, 
/* msg =    248, deg =  6 */    147,    336,    486,   1329,   1601,   1790, 
/* msg =    249, deg =  6 */    153,    337,    488,   1324,   1602,   1786, 
/* msg =    250, deg =  6 */    148,    338,    490,   1330,   1603,   1782, 
/* msg =    251, deg =  6 */    143,    339,    492,   1325,   1604,   1789, 
/* msg =    252, deg =  6 */    149,    340,    494,   1320,   1605,   1785, 
/* msg =    253, deg =  6 */    341,    353,    738,   1484,   1606,   2430, 
/* msg =    254, deg =  6 */    342,    360,    741,   1479,   1607,   2429, 
/* msg =    255, deg =  6 */    343,    356,    744,   1474,   1608,   2428, 
/* msg =    256, deg =  6 */    344,    352,    747,   1480,   1609,   2427, 
/* msg =    257, deg =  6 */    345,    359,    739,   1475,   1610,   2426, 
/* msg =    258, deg =  6 */    346,    355,    742,   1481,   1611,   2425, 
/* msg =    259, deg =  6 */    347,    362,    745,   1476,   1612,   2424, 
/* msg =    260, deg =  6 */    348,    358,    737,   1482,   1613,   2423, 
/* msg =    261, deg =  6 */    349,    354,    740,   1477,   1614,   2422, 
/* msg =    262, deg =  6 */    350,    361,    743,   1483,   1615,   2421, 
/* msg =    263, deg =  6 */    351,    357,    746,   1478,   1616,   2420, 
/* msg =    264, deg =  6 */    231,    683,    991,   1617,   2199,   2628, 
/* msg =    265, deg =  6 */    232,    691,    995,   1618,   2197,   2622, 
/* msg =    266, deg =  6 */    233,    688,    999,   1619,   2195,   2627, 
/* msg =    267, deg =  6 */    234,    685,    992,   1620,   2193,   2621, 
/* msg =    268, deg =  6 */    235,    682,    996,   1621,   2191,   2626, 
/* msg =    269, deg =  6 */    236,    690,   1000,   1622,   2189,   2620, 
/* msg =    270, deg =  6 */    237,    687,    993,   1623,   2198,   2625, 
/* msg =    271, deg =  6 */    238,    684,    997,   1624,   2196,   2619, 
/* msg =    272, deg =  6 */    239,    692,    990,   1625,   2194,   2624, 
/* msg =    273, deg =  6 */    240,    689,    994,   1626,   2192,   2618, 
/* msg =    274, deg =  6 */    241,    686,    998,   1627,   2190,   2623, 
/* msg =    275, deg =  6 */    242,    892,   1244,   1628,   1968,   2320, 
/* msg =    276, deg =  6 */    243,    901,   1249,   1629,   1965,   2313, 
/* msg =    277, deg =  6 */    244,    899,   1243,   1630,   1962,   2317, 
/* msg =    278, deg =  6 */    245,    897,   1248,   1631,   1959,   2310, 
/* msg =    279, deg =  6 */    246,    895,   1253,   1632,   1967,   2314, 
/* msg =    280, deg =  6 */    247,    893,   1247,   1633,   1964,   2318, 
/* msg =    281, deg =  6 */    248,    891,   1252,   1634,   1961,   2311, 
/* msg =    282, deg =  6 */    249,    900,   1246,   1635,   1958,   2315, 
/* msg =    283, deg =  6 */    250,    898,   1251,   1636,   1966,   2319, 
/* msg =    284, deg =  6 */    251,    896,   1245,   1637,   1963,   2312, 
/* msg =    285, deg =  6 */    252,    894,   1250,   1638,   1960,   2316, 
/* msg =    286, deg =  6 */    166,    253,   1101,   1639,   1737,   2133, 
/* msg =    287, deg =  6 */    172,    254,   1100,   1640,   1733,   2125, 
/* msg =    288, deg =  6 */    167,    255,   1110,   1641,   1729,   2128, 
/* msg =    289, deg =  6 */    173,    256,   1109,   1642,   1736,   2131, 
/* msg =    290, deg =  6 */    168,    257,   1108,   1643,   1732,   2123, 
/* msg =    291, deg =  6 */    174,    258,   1107,   1644,   1728,   2126, 
/* msg =    292, deg =  6 */    169,    259,   1106,   1645,   1735,   2129, 
/* msg =    293, deg =  6 */    175,    260,   1105,   1646,   1731,   2132, 
/* msg =    294, deg =  6 */    170,    261,   1104,   1647,   1727,   2124, 
/* msg =    295, deg =  6 */    165,    262,   1103,   1648,   1734,   2127, 
/* msg =    296, deg =  6 */    171,    263,   1102,   1649,   1730,   2130, 
/* msg =    297, deg =  6 */    103,    264,    419,   1506,   1650,   1825, 
/* msg =    298, deg =  6 */    108,    265,    426,   1501,   1651,   1816, 
/* msg =    299, deg =  6 */    102,    266,    422,   1496,   1652,   1818, 
/* msg =    300, deg =  6 */    107,    267,    418,   1502,   1653,   1820, 
/* msg =    301, deg =  6 */    101,    268,    425,   1497,   1654,   1822, 
/* msg =    302, deg =  6 */    106,    269,    421,   1503,   1655,   1824, 
/* msg =    303, deg =  6 */    100,    270,    428,   1498,   1656,   1815, 
/* msg =    304, deg =  6 */    105,    271,    424,   1504,   1657,   1817, 
/* msg =    305, deg =  6 */     99,    272,    420,   1499,   1658,   1819, 
/* msg =    306, deg =  6 */    104,    273,    427,   1505,   1659,   1821, 
/* msg =    307, deg =  6 */    109,    274,    423,   1500,   1660,   1823, 
/* msg =    308, deg =  6 */    275,    309,    672,   1638,   1661,   2606, 
/* msg =    309, deg =  6 */    276,    310,    680,   1628,   1662,   2600, 
/* msg =    310, deg =  6 */    277,    311,    677,   1629,   1663,   2605, 
/* msg =    311, deg =  6 */    278,    312,    674,   1630,   1664,   2599, 
/* msg =    312, deg =  6 */    279,    313,    671,   1631,   1665,   2604, 
/* msg =    313, deg =  6 */    280,    314,    679,   1632,   1666,   2598, 
/* msg =    314, deg =  6 */    281,    315,    676,   1633,   1667,   2603, 
/* msg =    315, deg =  6 */    282,    316,    673,   1634,   1668,   2597, 
/* msg =    316, deg =  6 */    283,    317,    681,   1635,   1669,   2602, 
/* msg =    317, deg =  6 */    284,    318,    678,   1636,   1670,   2596, 
/* msg =    318, deg =  6 */    285,    308,    675,   1637,   1671,   2601, 
/* msg =    319, deg =  6 */    286,    518,    925,   1328,   1551,   2375, 
/* msg =    320, deg =  6 */    287,    520,    934,   1323,   1552,   2368, 
/* msg =    321, deg =  6 */    288,    522,    932,   1329,   1553,   2372, 
/* msg =    322, deg =  6 */    289,    524,    930,   1324,   1554,   2365, 
/* msg =    323, deg =  6 */    290,    526,    928,   1330,   1555,   2369, 
/* msg =    324, deg =  6 */    291,    517,    926,   1325,   1556,   2373, 
/* msg =    325, deg =  6 */    292,    519,    924,   1320,   1557,   2366, 
/* msg =    326, deg =  6 */    293,    521,    933,   1326,   1558,   2370, 
/* msg =    327, deg =  6 */    294,    523,    931,   1321,   1559,   2374, 
/* msg =    328, deg =  6 */    295,    525,    929,   1327,   1560,   2367, 
/* msg =    329, deg =  6 */    296,    527,    927,   1322,   1561,   2371, 
/* msg =    330, deg =  6 */    297,    727,   1178,   1562,   2144,   2474, 
/* msg =    331, deg =  6 */    298,    730,   1177,   1563,   2136,   2473, 
/* msg =    332, deg =  6 */    299,    733,   1187,   1564,   2139,   2472, 
/* msg =    333, deg =  6 */    300,    736,   1186,   1565,   2142,   2471, 
/* msg =    334, deg =  6 */    301,    728,   1185,   1566,   2134,   2470, 
/* msg =    335, deg =  6 */    302,    731,   1184,   1567,   2137,   2469, 
/* msg =    336, deg =  6 */    303,    734,   1183,   1568,   2140,   2468, 
/* msg =    337, deg =  6 */    304,    726,   1182,   1569,   2143,   2467, 
/* msg =    338, deg =  6 */    305,    729,   1181,   1570,   2135,   2466, 
/* msg =    339, deg =  6 */    306,    732,   1180,   1571,   2138,   2465, 
/* msg =    340, deg =  6 */    307,    735,   1179,   1572,   2141,   2464, 
/* msg =    341, deg =  6 */    105,    308,   1057,   1573,   1913,   2166, 
/* msg =    342, deg =  6 */     99,    309,   1061,   1574,   1904,   2164, 
/* msg =    343, deg =  6 */    104,    310,   1065,   1575,   1906,   2162, 
/* msg =    344, deg =  6 */    109,    311,   1058,   1576,   1908,   2160, 
/* msg =    345, deg =  6 */    103,    312,   1062,   1577,   1910,   2158, 
/* msg =    346, deg =  6 */    108,    313,   1066,   1578,   1912,   2156, 
/* msg =    347, deg =  6 */    102,    314,   1059,   1579,   1903,   2165, 
/* msg =    348, deg =  6 */    107,    315,   1063,   1580,   1905,   2163, 
/* msg =    349, deg =  6 */    101,    316,   1056,   1581,   1907,   2161, 
/* msg =    350, deg =  6 */    106,    317,   1060,   1582,   1909,   2159, 
/* msg =    351, deg =  6 */    100,    318,   1064,   1583,   1911,   2157, 
/* msg =    352, deg =  6 */    360,    363,    580,   1576,   1675,   1782, 
/* msg =    353, deg =  6 */    361,    364,    574,   1573,   1676,   1783, 
/* msg =    354, deg =  6 */    362,    365,    579,   1581,   1677,   1784, 
/* msg =    355, deg =  6 */    352,    366,    573,   1578,   1678,   1785, 
/* msg =    356, deg =  6 */    353,    367,    578,   1575,   1679,   1786, 
/* msg =    357, deg =  6 */    354,    368,    572,   1583,   1680,   1787, 
/* msg =    358, deg =  6 */    355,    369,    577,   1580,   1681,   1788, 
/* msg =    359, deg =  6 */    356,    370,    582,   1577,   1682,   1789, 
/* msg =    360, deg =  6 */    357,    371,    576,   1574,   1672,   1790, 
/* msg =    361, deg =  6 */    358,    372,    581,   1582,   1673,   1791, 
/* msg =    362, deg =  6 */    359,    373,    575,   1579,   1674,   1792, 
/* msg =    363, deg =  6 */    374,    613,    789,   1395,   1444,   1672, 
/* msg =    364, deg =  6 */    375,    611,    791,   1390,   1448,   1673, 
/* msg =    365, deg =  6 */    376,    609,    782,   1396,   1441,   1674, 
/* msg =    366, deg =  6 */    377,    607,    784,   1391,   1445,   1675, 
/* msg =    367, deg =  6 */    378,    605,    786,   1386,   1449,   1676, 
/* msg =    368, deg =  6 */    379,    614,    788,   1392,   1442,   1677, 
/* msg =    369, deg =  6 */    380,    612,    790,   1387,   1446,   1678, 
/* msg =    370, deg =  6 */    381,    610,    781,   1393,   1450,   1679, 
/* msg =    371, deg =  6 */    382,    608,    783,   1388,   1443,   1680, 
/* msg =    372, deg =  6 */    383,    606,    785,   1394,   1447,   1681, 
/* msg =    373, deg =  6 */    384,    615,    787,   1389,   1451,   1682, 
/* msg =    374, deg =  6 */    385,    866,    998,   1683,   2412,   2544, 
/* msg =    375, deg =  6 */    386,    861,    997,   1684,   2415,   2551, 
/* msg =    376, deg =  6 */    387,    867,    996,   1685,   2418,   2547, 
/* msg =    377, deg =  6 */    388,    862,    995,   1686,   2410,   2543, 
/* msg =    378, deg =  6 */    389,    868,    994,   1687,   2413,   2550, 
/* msg =    379, deg =  6 */    390,    863,    993,   1688,   2416,   2546, 
/* msg =    380, deg =  6 */    391,    858,    992,   1689,   2419,   2542, 
/* msg =    381, deg =  6 */    392,    864,    991,   1690,   2411,   2549, 
/* msg =    382, deg =  6 */    393,    859,    990,   1691,   2414,   2545, 
/* msg =    383, deg =  6 */    394,    865,   1000,   1692,   2417,   2541, 
/* msg =    384, deg =  6 */    395,    860,    999,   1693,   2409,   2548, 
/* msg =    385, deg =  6 */    396,   1119,   1207,   1694,   2225,   2313, 
/* msg =    386, deg =  6 */    397,   1111,   1203,   1695,   2231,   2312, 
/* msg =    387, deg =  6 */    398,   1114,   1199,   1696,   2226,   2311, 
/* msg =    388, deg =  6 */    399,   1117,   1206,   1697,   2232,   2310, 
/* msg =    389, deg =  6 */    400,   1120,   1202,   1698,   2227,   2320, 
/* msg =    390, deg =  6 */    401,   1112,   1209,   1699,   2222,   2319, 
/* msg =    391, deg =  6 */    402,   1115,   1205,   1700,   2228,   2318, 
/* msg =    392, deg =  6 */    403,   1118,   1201,   1701,   2223,   2317, 
/* msg =    393, deg =  6 */    404,   1121,   1208,   1702,   2229,   2316, 
/* msg =    394, deg =  6 */    405,   1113,   1204,   1703,   2224,   2315, 
/* msg =    395, deg =  6 */    406,   1116,   1200,   1704,   2230,   2314, 
/* msg =    396, deg =  6 */     37,    206,    407,   1705,   1917,   2082, 
/* msg =    397, deg =  6 */     42,    199,    408,   1706,   1915,   2084, 
/* msg =    398, deg =  6 */     36,    203,    409,   1707,   1924,   2086, 
/* msg =    399, deg =  6 */     41,    207,    410,   1708,   1922,   2088, 
/* msg =    400, deg =  6 */     35,    200,    411,   1709,   1920,   2079, 
/* msg =    401, deg =  6 */     40,    204,    412,   1710,   1918,   2081, 
/* msg =    402, deg =  6 */     34,    208,    413,   1711,   1916,   2083, 
/* msg =    403, deg =  6 */     39,    201,    414,   1712,   1914,   2085, 
/* msg =    404, deg =  6 */     33,    205,    415,   1713,   1923,   2087, 
/* msg =    405, deg =  6 */     38,    198,    416,   1714,   1921,   2089, 
/* msg =    406, deg =  6 */     43,    202,    417,   1715,   1919,   2080, 
/* msg =    407, deg =  6 */    294,    415,    418,   1716,   1730,   1851, 
/* msg =    408, deg =  6 */    291,    416,    419,   1717,   1731,   1856, 
/* msg =    409, deg =  6 */    288,    417,    420,   1718,   1732,   1850, 
/* msg =    410, deg =  6 */    296,    407,    421,   1719,   1733,   1855, 
/* msg =    411, deg =  6 */    293,    408,    422,   1720,   1734,   1849, 
/* msg =    412, deg =  6 */    290,    409,    423,   1721,   1735,   1854, 
/* msg =    413, deg =  6 */    287,    410,    424,   1722,   1736,   1848, 
/* msg =    414, deg =  6 */    295,    411,    425,   1723,   1737,   1853, 
/* msg =    415, deg =  6 */    292,    412,    426,   1724,   1727,   1858, 
/* msg =    416, deg =  6 */    289,    413,    427,   1725,   1728,   1852, 
/* msg =    417, deg =  6 */    286,    414,    428,   1726,   1729,   1857, 
/* msg =    418, deg =  6 */    429,    547,    624,   1543,   1620,   1727, 
/* msg =    419, deg =  6 */    430,    541,    622,   1547,   1617,   1728, 
/* msg =    420, deg =  6 */    431,    546,    620,   1540,   1625,   1729, 
/* msg =    421, deg =  6 */    432,    540,    618,   1544,   1622,   1730, 
/* msg =    422, deg =  6 */    433,    545,    616,   1548,   1619,   1731, 
/* msg =    423, deg =  6 */    434,    539,    625,   1541,   1627,   1732, 
/* msg =    424, deg =  6 */    435,    544,    623,   1545,   1624,   1733, 
/* msg =    425, deg =  6 */    436,    549,    621,   1549,   1621,   1734, 
/* msg =    426, deg =  6 */    437,    543,    619,   1542,   1618,   1735, 
/* msg =    427, deg =  6 */    438,    548,    617,   1546,   1626,   1736, 
/* msg =    428, deg =  6 */    439,    542,    626,   1550,   1623,   1737, 
/* msg =    429, deg =  6 */    440,    800,    954,   1390,   1738,   2566, 
/* msg =    430, deg =  6 */    441,    802,    949,   1396,   1739,   2573, 
/* msg =    431, deg =  6 */    442,    793,    955,   1391,   1740,   2569, 
/* msg =    432, deg =  6 */    443,    795,    950,   1386,   1741,   2565, 
/* msg =    433, deg =  6 */    444,    797,    956,   1392,   1742,   2572, 
/* msg =    434, deg =  6 */    445,    799,    951,   1387,   1743,   2568, 
/* msg =    435, deg =  6 */    446,    801,    946,   1393,   1744,   2564, 
/* msg =    436, deg =  6 */    447,    792,    952,   1388,   1745,   2571, 
/* msg =    437, deg =  6 */    448,    794,    947,   1394,   1746,   2567, 
/* msg =    438, deg =  6 */    449,    796,    953,   1389,   1747,   2563, 
/* msg =    439, deg =  6 */    450,    798,    948,   1395,   1748,   2570, 
/* msg =    440, deg =  6 */    451,   1053,   1163,   1749,   2379,   2489, 
/* msg =    441, deg =  6 */    452,   1052,   1155,   1750,   2378,   2492, 
/* msg =    442, deg =  6 */    453,   1051,   1158,   1751,   2377,   2495, 
/* msg =    443, deg =  6 */    454,   1050,   1161,   1752,   2376,   2487, 
/* msg =    444, deg =  6 */    455,   1049,   1164,   1753,   2386,   2490, 
/* msg =    445, deg =  6 */    456,   1048,   1156,   1754,   2385,   2493, 
/* msg =    446, deg =  6 */    457,   1047,   1159,   1755,   2384,   2496, 
/* msg =    447, deg =  6 */    458,   1046,   1162,   1756,   2383,   2488, 
/* msg =    448, deg =  6 */    459,   1045,   1165,   1757,   2382,   2491, 
/* msg =    449, deg =  6 */    460,   1055,   1157,   1758,   2381,   2494, 
/* msg =    450, deg =  6 */    461,   1054,   1160,   1759,   2380,   2486, 
/* msg =    451, deg =  6 */     43,    462,   1306,   1760,   2071,   2258, 
/* msg =    452, deg =  6 */     37,    463,   1302,   1761,   2073,   2264, 
/* msg =    453, deg =  6 */     42,    464,   1298,   1762,   2075,   2259, 
/* msg =    454, deg =  6 */     36,    465,   1305,   1763,   2077,   2265, 
/* msg =    455, deg =  6 */     41,    466,   1301,   1764,   2068,   2260, 
/* msg =    456, deg =  6 */     35,    467,   1308,   1765,   2070,   2255, 
/* msg =    457, deg =  6 */     40,    468,   1304,   1766,   2072,   2261, 
/* msg =    458, deg =  6 */     34,    469,   1300,   1767,   2074,   2256, 
/* msg =    459, deg =  6 */     39,    470,   1307,   1768,   2076,   2262, 
/* msg =    460, deg =  6 */     33,    471,   1303,   1769,   2078,   2257, 
/* msg =    461, deg =  6 */     38,    472,   1299,   1770,   2069,   2263, 
/* msg =    462, deg =  6 */    228,    250,    352,   1771,   1884,   2027, 
/* msg =    463, deg =  6 */    221,    247,    353,   1772,   1889,   2025, 
/* msg =    464, deg =  6 */    225,    244,    354,   1773,   1883,   2034, 
/* msg =    465, deg =  6 */    229,    252,    355,   1774,   1888,   2032, 
/* msg =    466, deg =  6 */    222,    249,    356,   1775,   1882,   2030, 
/* msg =    467, deg =  6 */    226,    246,    357,   1776,   1887,   2028, 
/* msg =    468, deg =  6 */    230,    243,    358,   1777,   1881,   2026, 
/* msg =    469, deg =  6 */    223,    251,    359,   1778,   1886,   2024, 
/* msg =    470, deg =  6 */    227,    248,    360,   1779,   1891,   2033, 
/* msg =    471, deg =  6 */    220,    245,    361,   1780,   1885,   2031, 
/* msg =    472, deg =  6 */    224,    242,    362,   1781,   1890,   2029, 
/* msg =    473, deg =  6 */    479,    528,   1095,   1798,   1859,   2634, 
/* msg =    474, deg =  6 */    480,    529,   1089,   1799,   1860,   2631, 
/* msg =    475, deg =  6 */    481,    530,   1094,   1800,   1861,   2639, 
/* msg =    476, deg =  6 */    482,    531,   1099,   1801,   1862,   2636, 
/* msg =    477, deg =  6 */    483,    532,   1093,   1802,   1863,   2633, 
/* msg =    478, deg =  6 */    473,    533,   1098,   1803,   1864,   2630, 
/* msg =    479, deg =  6 */    474,    534,   1092,   1793,   1865,   2638, 
/* msg =    480, deg =  6 */    475,    535,   1097,   1794,   1866,   2635, 
/* msg =    481, deg =  6 */    476,    536,   1091,   1795,   1867,   2632, 
/* msg =    482, deg =  6 */    477,    537,   1096,   1796,   1868,   2629, 
/* msg =    483, deg =  6 */    478,    538,   1090,   1797,   1869,   2637, 
/* msg =    484, deg =  6 */     90,    539,    732,   1567,   1870,   2326, 
/* msg =    485, deg =  6 */     95,    540,    728,   1562,   1871,   2328, 
/* msg =    486, deg =  6 */     89,    541,    735,   1568,   1872,   2330, 
/* msg =    487, deg =  6 */     94,    542,    731,   1563,   1873,   2321, 
/* msg =    488, deg =  6 */     88,    543,    727,   1569,   1874,   2323, 
/* msg =    489, deg =  6 */     93,    544,    734,   1564,   1875,   2325, 
/* msg =    490, deg =  6 */     98,    545,    730,   1570,   1876,   2327, 
/* msg =    491, deg =  6 */     92,    546,    726,   1565,   1877,   2329, 
/* msg =    492, deg =  6 */     97,    547,    733,   1571,   1878,   2331, 
/* msg =    493, deg =  6 */     91,    548,    729,   1566,   1879,   2322, 
/* msg =    494, deg =  6 */     96,    549,    736,   1572,   1880,   2324, 
/* msg =    495, deg =  6 */    303,    550,    985,   1334,   1881,   2139, 
/* msg =    496, deg =  6 */    298,    551,    987,   1340,   1882,   2135, 
/* msg =    497, deg =  6 */    304,    552,    989,   1335,   1883,   2142, 
/* msg =    498, deg =  6 */    299,    553,    980,   1341,   1884,   2138, 
/* msg =    499, deg =  6 */    305,    554,    982,   1336,   1885,   2134, 
/* msg =    500, deg =  6 */    300,    555,    984,   1331,   1886,   2141, 
/* msg =    501, deg =  6 */    306,    556,    986,   1337,   1887,   2137, 
/* msg =    502, deg =  6 */    301,    557,    988,   1332,   1888,   2144, 
/* msg =    503, deg =  6 */    307,    558,    979,   1338,   1889,   2140, 
/* msg =    504, deg =  6 */    302,    559,    981,   1333,   1890,   2136, 
/* msg =    505, deg =  6 */    297,    560,    983,   1339,   1891,   2143, 
/* msg =    506, deg =  6 */    512,    561,   1238,   1831,   1892,   2436, 
/* msg =    507, deg =  6 */    513,    562,   1235,   1832,   1893,   2441, 
/* msg =    508, deg =  6 */    514,    563,   1232,   1833,   1894,   2435, 
/* msg =    509, deg =  6 */    515,    564,   1240,   1834,   1895,   2440, 
/* msg =    510, deg =  6 */    516,    565,   1237,   1835,   1896,   2434, 
/* msg =    511, deg =  6 */    506,    566,   1234,   1836,   1897,   2439, 
/* msg =    512, deg =  6 */    507,    567,   1242,   1826,   1898,   2433, 
/* msg =    513, deg =  6 */    508,    568,   1239,   1827,   1899,   2438, 
/* msg =    514, deg =  6 */    509,    569,   1236,   1828,   1900,   2432, 
/* msg =    515, deg =  6 */    510,    570,   1233,   1829,   1901,   2437, 
/* msg =    516, deg =  6 */    511,    571,   1241,   1830,   1902,   2431, 
/* msg =    517, deg =  6 */    160,    572,    721,   1644,   1903,   2205, 
/* msg =    518, deg =  6 */    163,    573,    717,   1639,   1904,   2204, 
/* msg =    519, deg =  6 */    155,    574,    724,   1645,   1905,   2203, 
/* msg =    520, deg =  6 */    158,    575,    720,   1640,   1906,   2202, 
/* msg =    521, deg =  6 */    161,    576,    716,   1646,   1907,   2201, 
/* msg =    522, deg =  6 */    164,    577,    723,   1641,   1908,   2200, 
/* msg =    523, deg =  6 */    156,    578,    719,   1647,   1909,   2210, 
/* msg =    524, deg =  6 */    159,    579,    715,   1642,   1910,   2209, 
/* msg =    525, deg =  6 */    162,    580,    722,   1648,   1911,   2208, 
/* msg =    526, deg =  6 */    154,    581,    718,   1643,   1912,   2207, 
/* msg =    527, deg =  6 */    157,    582,    725,   1649,   1913,   2206, 
/* msg =    528, deg =  6 */    413,    583,   1051,   1335,   1793,   1974, 
/* msg =    529, deg =  6 */    411,    584,   1053,   1341,   1794,   1978, 
/* msg =    530, deg =  6 */    409,    585,   1055,   1336,   1795,   1971, 
/* msg =    531, deg =  6 */    407,    586,   1046,   1331,   1796,   1975, 
/* msg =    532, deg =  6 */    416,    587,   1048,   1337,   1797,   1979, 
/* msg =    533, deg =  6 */    414,    588,   1050,   1332,   1798,   1972, 
/* msg =    534, deg =  6 */    412,    589,   1052,   1338,   1799,   1976, 
/* msg =    535, deg =  6 */    410,    590,   1054,   1333,   1800,   1969, 
/* msg =    536, deg =  6 */    408,    591,   1045,   1339,   1801,   1973, 
/* msg =    537, deg =  6 */    417,    592,   1047,   1334,   1802,   1977, 
/* msg =    538, deg =  6 */    415,    593,   1049,   1340,   1803,   1970, 
/* msg =    539, deg =  6 */    473,    666,   1260,   1743,   1804,   2480, 
/* msg =    540, deg =  6 */    474,    670,   1257,   1741,   1805,   2485, 
/* msg =    541, deg =  6 */    475,    663,   1254,   1739,   1806,   2479, 
/* msg =    542, deg =  6 */    476,    667,   1262,   1748,   1807,   2484, 
/* msg =    543, deg =  6 */    477,    660,   1259,   1746,   1808,   2478, 
/* msg =    544, deg =  6 */    478,    664,   1256,   1744,   1809,   2483, 
/* msg =    545, deg =  6 */    479,    668,   1264,   1742,   1810,   2477, 
/* msg =    546, deg =  6 */    480,    661,   1261,   1740,   1811,   2482, 
/* msg =    547, deg =  6 */    481,    665,   1258,   1738,   1812,   2476, 
/* msg =    548, deg =  6 */    482,    669,   1255,   1747,   1813,   2481, 
/* msg =    549, deg =  6 */    483,    662,   1263,   1745,   1814,   2475, 
/* msg =    550, deg =  6 */    138,    484,    919,   1512,   1815,   2172, 
/* msg =    551, deg =  6 */    141,    485,    918,   1515,   1816,   2171, 
/* msg =    552, deg =  6 */    133,    486,    917,   1507,   1817,   2170, 
/* msg =    553, deg =  6 */    136,    487,    916,   1510,   1818,   2169, 
/* msg =    554, deg =  6 */    139,    488,    915,   1513,   1819,   2168, 
/* msg =    555, deg =  6 */    142,    489,    914,   1516,   1820,   2167, 
/* msg =    556, deg =  6 */    134,    490,    913,   1508,   1821,   2177, 
/* msg =    557, deg =  6 */    137,    491,    923,   1511,   1822,   2176, 
/* msg =    558, deg =  6 */    140,    492,    922,   1514,   1823,   2175, 
/* msg =    559, deg =  6 */    132,    493,    921,   1517,   1824,   2174, 
/* msg =    560, deg =  6 */    135,    494,    920,   1509,   1825,   2173, 
/* msg =    561, deg =  6 */    468,    495,   1172,   1826,   1985,   2612, 
/* msg =    562, deg =  6 */    466,    496,   1166,   1827,   1989,   2609, 
/* msg =    563, deg =  6 */    464,    497,   1171,   1828,   1982,   2617, 
/* msg =    564, deg =  6 */    462,    498,   1176,   1829,   1986,   2614, 
/* msg =    565, deg =  6 */    471,    499,   1170,   1830,   1990,   2611, 
/* msg =    566, deg =  6 */    469,    500,   1175,   1831,   1983,   2608, 
/* msg =    567, deg =  6 */    467,    501,   1169,   1832,   1987,   2616, 
/* msg =    568, deg =  6 */    465,    502,   1174,   1833,   1980,   2613, 
/* msg =    569, deg =  6 */    463,    503,   1168,   1834,   1984,   2610, 
/* msg =    570, deg =  6 */    472,    504,   1173,   1835,   1988,   2607, 
/* msg =    571, deg =  6 */    470,    505,   1167,   1836,   1981,   2615, 
/* msg =    572, deg =  6 */     91,    506,    677,   1677,   1837,   2381, 
/* msg =    573, deg =  6 */     96,    507,    681,   1675,   1838,   2383, 
/* msg =    574, deg =  6 */     90,    508,    674,   1673,   1839,   2385, 
/* msg =    575, deg =  6 */     95,    509,    678,   1682,   1840,   2376, 
/* msg =    576, deg =  6 */     89,    510,    671,   1680,   1841,   2378, 
/* msg =    577, deg =  6 */     94,    511,    675,   1678,   1842,   2380, 
/* msg =    578, deg =  6 */     88,    512,    679,   1676,   1843,   2382, 
/* msg =    579, deg =  6 */     93,    513,    672,   1674,   1844,   2384, 
/* msg =    580, deg =  6 */     98,    514,    676,   1672,   1845,   2386, 
/* msg =    581, deg =  6 */     92,    515,    680,   1681,   1846,   2377, 
/* msg =    582, deg =  6 */     97,    516,    673,   1679,   1847,   2379, 
/* msg =    583, deg =  6 */    347,    517,    886,   1490,   1848,   2150, 
/* msg =    584, deg =  6 */    342,    518,    885,   1493,   1849,   2146, 
/* msg =    585, deg =  6 */    348,    519,    884,   1485,   1850,   2153, 
/* msg =    586, deg =  6 */    343,    520,    883,   1488,   1851,   2149, 
/* msg =    587, deg =  6 */    349,    521,    882,   1491,   1852,   2145, 
/* msg =    588, deg =  6 */    344,    522,    881,   1494,   1853,   2152, 
/* msg =    589, deg =  6 */    350,    523,    880,   1486,   1854,   2148, 
/* msg =    590, deg =  6 */    345,    524,    890,   1489,   1855,   2155, 
/* msg =    591, deg =  6 */    351,    525,    889,   1492,   1856,   2151, 
/* msg =    592, deg =  6 */    346,    526,    888,   1495,   1857,   2147, 
/* msg =    593, deg =  6 */    341,    527,    887,   1487,   1858,   2154, 
/* msg =    594, deg =  6 */    403,    601,    693,   1918,   1936,   2237, 
/* msg =    595, deg =  6 */    397,    602,    694,   1919,   1937,   2234, 
/* msg =    596, deg =  6 */    402,    603,    695,   1920,   1938,   2242, 
/* msg =    597, deg =  6 */    396,    604,    696,   1921,   1939,   2239, 
/* msg =    598, deg =  6 */    401,    594,    697,   1922,   1940,   2236, 
/* msg =    599, deg =  6 */    406,    595,    698,   1923,   1941,   2233, 
/* msg =    600, deg =  6 */    400,    596,    699,   1924,   1942,   2241, 
/* msg =    601, deg =  6 */    405,    597,    700,   1914,   1943,   2238, 
/* msg =    602, deg =  6 */    399,    598,    701,   1915,   1944,   2235, 
/* msg =    603, deg =  6 */    404,    599,    702,   1916,   1945,   2243, 
/* msg =    604, deg =  6 */    398,    600,    703,   1917,   1946,   2240, 
/* msg =    605, deg =  6 */    612,    704,    854,   1687,   1929,   1947, 
/* msg =    606, deg =  6 */    613,    705,    851,   1692,   1930,   1948, 
/* msg =    607, deg =  6 */    614,    706,    848,   1686,   1931,   1949, 
/* msg =    608, deg =  6 */    615,    707,    856,   1691,   1932,   1950, 
/* msg =    609, deg =  6 */    605,    708,    853,   1685,   1933,   1951, 
/* msg =    610, deg =  6 */    606,    709,    850,   1690,   1934,   1952, 
/* msg =    611, deg =  6 */    607,    710,    847,   1684,   1935,   1953, 
/* msg =    612, deg =  6 */    608,    711,    855,   1689,   1925,   1954, 
/* msg =    613, deg =  6 */    609,    712,    852,   1683,   1926,   1955, 
/* msg =    614, deg =  6 */    610,    713,    849,   1688,   1927,   1956, 
/* msg =    615, deg =  6 */    611,    714,    857,   1693,   1928,   1957, 
/* msg =    616, deg =  6 */    594,    942,   1107,   1456,   1742,   1958, 
/* msg =    617, deg =  6 */    595,    939,   1100,   1454,   1747,   1959, 
/* msg =    618, deg =  6 */    596,    936,   1104,   1452,   1741,   1960, 
/* msg =    619, deg =  6 */    597,    944,   1108,   1461,   1746,   1961, 
/* msg =    620, deg =  6 */    598,    941,   1101,   1459,   1740,   1962, 
/* msg =    621, deg =  6 */    599,    938,   1105,   1457,   1745,   1963, 
/* msg =    622, deg =  6 */    600,    935,   1109,   1455,   1739,   1964, 
/* msg =    623, deg =  6 */    601,    943,   1102,   1453,   1744,   1965, 
/* msg =    624, deg =  6 */    602,    940,   1106,   1462,   1738,   1966, 
/* msg =    625, deg =  6 */    603,    937,   1110,   1460,   1743,   1967, 
/* msg =    626, deg =  6 */    604,    945,   1103,   1458,   1748,   1968, 
/* msg =    627, deg =  6 */     31,    605,   1151,   1434,   1969,   2556, 
/* msg =    628, deg =  6 */     25,    606,   1144,   1432,   1970,   2558, 
/* msg =    629, deg =  6 */     30,    607,   1148,   1430,   1971,   2560, 
/* msg =    630, deg =  6 */     24,    608,   1152,   1439,   1972,   2562, 
/* msg =    631, deg =  6 */     29,    609,   1145,   1437,   1973,   2553, 
/* msg =    632, deg =  6 */     23,    610,   1149,   1435,   1974,   2555, 
/* msg =    633, deg =  6 */     28,    611,   1153,   1433,   1975,   2557, 
/* msg =    634, deg =  6 */     22,    612,   1146,   1431,   1976,   2559, 
/* msg =    635, deg =  6 */     27,    613,   1150,   1440,   1977,   2561, 
/* msg =    636, deg =  6 */     32,    614,   1154,   1438,   1978,   2552, 
/* msg =    637, deg =  6 */     26,    615,   1147,   1436,   1979,   2554, 
/* msg =    638, deg =  6 */     28,    282,    616,   1980,   2325,   2578, 
/* msg =    639, deg =  6 */     22,    278,    617,   1981,   2331,   2580, 
/* msg =    640, deg =  6 */     27,    285,    618,   1982,   2326,   2582, 
/* msg =    641, deg =  6 */     32,    281,    619,   1983,   2321,   2584, 
/* msg =    642, deg =  6 */     26,    277,    620,   1984,   2327,   2575, 
/* msg =    643, deg =  6 */     31,    284,    621,   1985,   2322,   2577, 
/* msg =    644, deg =  6 */     25,    280,    622,   1986,   2328,   2579, 
/* msg =    645, deg =  6 */     30,    276,    623,   1987,   2323,   2581, 
/* msg =    646, deg =  6 */     24,    283,    624,   1988,   2329,   2583, 
/* msg =    647, deg =  6 */     29,    279,    625,   1989,   2324,   2574, 
/* msg =    648, deg =  6 */     23,    275,    626,   1990,   2330,   2576, 
/* msg =    649, deg =  6 */    238,    535,    627,   1991,   2094,   2391, 
/* msg =    650, deg =  6 */    234,    538,    628,   1992,   2093,   2397, 
/* msg =    651, deg =  6 */    241,    530,    629,   1993,   2092,   2392, 
/* msg =    652, deg =  6 */    237,    533,    630,   1994,   2091,   2387, 
/* msg =    653, deg =  6 */    233,    536,    631,   1995,   2090,   2393, 
/* msg =    654, deg =  6 */    240,    528,    632,   1996,   2100,   2388, 
/* msg =    655, deg =  6 */    236,    531,    633,   1997,   2099,   2394, 
/* msg =    656, deg =  6 */    232,    534,    634,   1998,   2098,   2389, 
/* msg =    657, deg =  6 */    239,    537,    635,   1999,   2097,   2395, 
/* msg =    658, deg =  6 */    235,    529,    636,   2000,   2096,   2390, 
/* msg =    659, deg =  6 */    231,    532,    637,   2001,   2095,   2396, 
/* msg =    660, deg =  6 */    568,    638,    788,   1863,   2002,   2083, 
/* msg =    661, deg =  6 */    571,    639,    787,   1866,   2003,   2082, 
/* msg =    662, deg =  6 */    563,    640,    786,   1869,   2004,   2081, 
/* msg =    663, deg =  6 */    566,    641,    785,   1861,   2005,   2080, 
/* msg =    664, deg =  6 */    569,    642,    784,   1864,   2006,   2079, 
/* msg =    665, deg =  6 */    561,    643,    783,   1867,   2007,   2089, 
/* msg =    666, deg =  6 */    564,    644,    782,   1859,   2008,   2088, 
/* msg =    667, deg =  6 */    567,    645,    781,   1862,   2009,   2087, 
/* msg =    668, deg =  6 */    570,    646,    791,   1865,   2010,   2086, 
/* msg =    669, deg =  6 */    562,    647,    790,   1868,   2011,   2085, 
/* msg =    670, deg =  6 */    565,    648,    789,   1860,   2012,   2084, 
/* msg =    671, deg =  6 */    649,    777,   1041,   1632,   1896,   2013, 
/* msg =    672, deg =  6 */    650,    776,   1036,   1628,   1899,   2014, 
/* msg =    673, deg =  6 */    651,    775,   1042,   1635,   1902,   2015, 
/* msg =    674, deg =  6 */    652,    774,   1037,   1631,   1894,   2016, 
/* msg =    675, deg =  6 */    653,    773,   1043,   1638,   1897,   2017, 
/* msg =    676, deg =  6 */    654,    772,   1038,   1634,   1900,   2018, 
/* msg =    677, deg =  6 */    655,    771,   1044,   1630,   1892,   2019, 
/* msg =    678, deg =  6 */    656,    770,   1039,   1637,   1895,   2020, 
/* msg =    679, deg =  6 */    657,    780,   1034,   1633,   1898,   2021, 
/* msg =    680, deg =  6 */    658,    779,   1040,   1629,   1901,   2022, 
/* msg =    681, deg =  6 */    659,    778,   1035,   1636,   1893,   2023, 
/* msg =    682, deg =  6 */    660,    986,   1294,   1406,   1588,   2024, 
/* msg =    683, deg =  6 */    661,    981,   1296,   1401,   1584,   2025, 
/* msg =    684, deg =  6 */    662,    987,   1287,   1407,   1591,   2026, 
/* msg =    685, deg =  6 */    663,    982,   1289,   1402,   1587,   2027, 
/* msg =    686, deg =  6 */    664,    988,   1291,   1397,   1594,   2028, 
/* msg =    687, deg =  6 */    665,    983,   1293,   1403,   1590,   2029, 
/* msg =    688, deg =  6 */    666,    989,   1295,   1398,   1586,   2030, 
/* msg =    689, deg =  6 */    667,    984,   1297,   1404,   1593,   2031, 
/* msg =    690, deg =  6 */    668,    979,   1288,   1399,   1589,   2032, 
/* msg =    691, deg =  6 */    669,    985,   1290,   1405,   1585,   2033, 
/* msg =    692, deg =  6 */    670,    980,   1292,   1400,   1592,   2034, 
/* msg =    693, deg =  6 */    216,    671,   1316,   1398,   1914,   2501, 
/* msg =    694, deg =  6 */    214,    672,   1318,   1404,   1915,   2505, 
/* msg =    695, deg =  6 */    212,    673,   1309,   1399,   1916,   2498, 
/* msg =    696, deg =  6 */    210,    674,   1311,   1405,   1917,   2502, 
/* msg =    697, deg =  6 */    219,    675,   1313,   1400,   1918,   2506, 
/* msg =    698, deg =  6 */    217,    676,   1315,   1406,   1919,   2499, 
/* msg =    699, deg =  6 */    215,    677,   1317,   1401,   1920,   2503, 
/* msg =    700, deg =  6 */    213,    678,   1319,   1407,   1921,   2507, 
/* msg =    701, deg =  6 */    211,    679,   1310,   1402,   1922,   2500, 
/* msg =    702, deg =  6 */    209,    680,   1312,   1397,   1923,   2504, 
/* msg =    703, deg =  6 */    218,    681,   1314,   1403,   1924,   2497, 
/* msg =    704, deg =  6 */    194,    469,    682,   1925,   2270,   2424, 
/* msg =    705, deg =  6 */    192,    463,    683,   1926,   2267,   2428, 
/* msg =    706, deg =  6 */    190,    468,    684,   1927,   2275,   2421, 
/* msg =    707, deg =  6 */    188,    462,    685,   1928,   2272,   2425, 
/* msg =    708, deg =  6 */    197,    467,    686,   1929,   2269,   2429, 
/* msg =    709, deg =  6 */    195,    472,    687,   1930,   2266,   2422, 
/* msg =    710, deg =  6 */    193,    466,    688,   1931,   2274,   2426, 
/* msg =    711, deg =  6 */    191,    471,    689,   1932,   2271,   2430, 
/* msg =    712, deg =  6 */    189,    465,    690,   1933,   2268,   2423, 
/* msg =    713, deg =  6 */    187,    470,    691,   1934,   2276,   2427, 
/* msg =    714, deg =  6 */    196,    464,    692,   1935,   2273,   2420, 
/* msg =    715, deg =  6 */    719,    737,   1038,   1844,   2042,   2134, 
/* msg =    716, deg =  6 */    720,    738,   1043,   1841,   2043,   2135, 
/* msg =    717, deg =  6 */    721,    739,   1037,   1838,   2044,   2136, 
/* msg =    718, deg =  6 */    722,    740,   1042,   1846,   2045,   2137, 
/* msg =    719, deg =  6 */    723,    741,   1036,   1843,   2035,   2138, 
/* msg =    720, deg =  6 */    724,    742,   1041,   1840,   2036,   2139, 
/* msg =    721, deg =  6 */    725,    743,   1035,   1837,   2037,   2140, 
/* msg =    722, deg =  6 */    715,    744,   1040,   1845,   2038,   2141, 
/* msg =    723, deg =  6 */    716,    745,   1034,   1842,   2039,   2142, 
/* msg =    724, deg =  6 */    717,    746,   1039,   1839,   2040,   2143, 
/* msg =    725, deg =  6 */    718,    747,   1044,   1847,   2041,   2144, 
/* msg =    726, deg =  6 */    748,    972,   1247,   1657,   1811,   2145, 
/* msg =    727, deg =  6 */    749,    977,   1245,   1650,   1808,   2146, 
/* msg =    728, deg =  6 */    750,    971,   1243,   1654,   1805,   2147, 
/* msg =    729, deg =  6 */    751,    976,   1252,   1658,   1813,   2148, 
/* msg =    730, deg =  6 */    752,    970,   1250,   1651,   1810,   2149, 
/* msg =    731, deg =  6 */    753,    975,   1248,   1655,   1807,   2150, 
/* msg =    732, deg =  6 */    754,    969,   1246,   1659,   1804,   2151, 
/* msg =    733, deg =  6 */    755,    974,   1244,   1652,   1812,   2152, 
/* msg =    734, deg =  6 */    756,    968,   1253,   1656,   1809,   2153, 
/* msg =    735, deg =  6 */    757,    973,   1251,   1660,   1806,   2154, 
/* msg =    736, deg =  6 */    758,    978,   1249,   1653,   1814,   2155, 
/* msg =    737, deg =  6 */    125,    759,   1225,   1352,   1580,   2035, 
/* msg =    738, deg =  6 */    127,    760,   1223,   1347,   1573,   2036, 
/* msg =    739, deg =  6 */    129,    761,   1221,   1342,   1577,   2037, 
/* msg =    740, deg =  6 */    131,    762,   1230,   1348,   1581,   2038, 
/* msg =    741, deg =  6 */    122,    763,   1228,   1343,   1574,   2039, 
/* msg =    742, deg =  6 */    124,    764,   1226,   1349,   1578,   2040, 
/* msg =    743, deg =  6 */    126,    765,   1224,   1344,   1582,   2041, 
/* msg =    744, deg =  6 */    128,    766,   1222,   1350,   1575,   2042, 
/* msg =    745, deg =  6 */    130,    767,   1231,   1345,   1579,   2043, 
/* msg =    746, deg =  6 */    121,    768,   1229,   1351,   1583,   2044, 
/* msg =    747, deg =  6 */    123,    769,   1227,   1346,   1576,   2045, 
/* msg =    748, deg =  6 */    147,    455,    770,   1344,   2046,   2493, 
/* msg =    749, deg =  6 */    149,    461,    771,   1350,   2047,   2489, 
/* msg =    750, deg =  6 */    151,    456,    772,   1345,   2048,   2496, 
/* msg =    751, deg =  6 */    153,    451,    773,   1351,   2049,   2492, 
/* msg =    752, deg =  6 */    144,    457,    774,   1346,   2050,   2488, 
/* msg =    753, deg =  6 */    146,    452,    775,   1352,   2051,   2495, 
/* msg =    754, deg =  6 */    148,    458,    776,   1347,   2052,   2491, 
/* msg =    755, deg =  6 */    150,    453,    777,   1342,   2053,   2487, 
/* msg =    756, deg =  6 */    152,    459,    778,   1348,   2054,   2494, 
/* msg =    757, deg =  6 */    143,    454,    779,   1343,   2055,   2490, 
/* msg =    758, deg =  6 */    145,    460,    780,   1349,   2056,   2486, 
/* msg =    759, deg =  6 */    400,    664,    781,   2057,   2185,   2449, 
/* msg =    760, deg =  6 */    406,    663,    782,   2058,   2188,   2445, 
/* msg =    761, deg =  6 */    401,    662,    783,   2059,   2180,   2452, 
/* msg =    762, deg =  6 */    396,    661,    784,   2060,   2183,   2448, 
/* msg =    763, deg =  6 */    402,    660,    785,   2061,   2186,   2444, 
/* msg =    764, deg =  6 */    397,    670,    786,   2062,   2178,   2451, 
/* msg =    765, deg =  6 */    403,    669,    787,   2063,   2181,   2447, 
/* msg =    766, deg =  6 */    398,    668,    788,   2064,   2184,   2443, 
/* msg =    767, deg =  6 */    404,    667,    789,   2065,   2187,   2450, 
/* msg =    768, deg =  6 */    399,    666,    790,   2066,   2179,   2446, 
/* msg =    769, deg =  6 */    405,    665,    791,   2067,   2182,   2442, 
/* msg =    770, deg =  6 */    653,    792,    873,   1998,   2068,   2218, 
/* msg =    771, deg =  6 */    652,    793,    876,   1997,   2069,   2221, 
/* msg =    772, deg =  6 */    651,    794,    879,   1996,   2070,   2213, 
/* msg =    773, deg =  6 */    650,    795,    871,   1995,   2071,   2216, 
/* msg =    774, deg =  6 */    649,    796,    874,   1994,   2072,   2219, 
/* msg =    775, deg =  6 */    659,    797,    877,   1993,   2073,   2211, 
/* msg =    776, deg =  6 */    658,    798,    869,   1992,   2074,   2214, 
/* msg =    777, deg =  6 */    657,    799,    872,   1991,   2075,   2217, 
/* msg =    778, deg =  6 */    656,    800,    875,   2001,   2076,   2220, 
/* msg =    779, deg =  6 */    655,    801,    878,   2000,   2077,   2212, 
/* msg =    780, deg =  6 */    654,    802,    870,   1999,   2078,   2215, 
/* msg =    781, deg =  6 */    803,    906,   1082,   1690,   1987,   2079, 
/* msg =    782, deg =  6 */    804,    909,   1078,   1685,   1986,   2080, 
/* msg =    783, deg =  6 */    805,    912,   1085,   1691,   1985,   2081, 
/* msg =    784, deg =  6 */    806,    904,   1081,   1686,   1984,   2082, 
/* msg =    785, deg =  6 */    807,    907,   1088,   1692,   1983,   2083, 
/* msg =    786, deg =  6 */    808,    910,   1084,   1687,   1982,   2084, 
/* msg =    787, deg =  6 */    809,    902,   1080,   1693,   1981,   2085, 
/* msg =    788, deg =  6 */    810,    905,   1087,   1688,   1980,   2086, 
/* msg =    789, deg =  6 */    811,    908,   1083,   1683,   1990,   2087, 
/* msg =    790, deg =  6 */    812,    911,   1079,   1689,   1989,   2088, 
/* msg =    791, deg =  6 */    813,    903,   1086,   1684,   1988,   2089, 
/* msg =    792, deg =  6 */     82,    814,   1159,   1503,   1756,   2090, 
/* msg =    793, deg =  6 */     87,    815,   1155,   1505,   1751,   2091, 
/* msg =    794, deg =  6 */     81,    816,   1162,   1496,   1757,   2092, 
/* msg =    795, deg =  6 */     86,    817,   1158,   1498,   1752,   2093, 
/* msg =    796, deg =  6 */     80,    818,   1165,   1500,   1758,   2094, 
/* msg =    797, deg =  6 */     85,    819,   1161,   1502,   1753,   2095, 
/* msg =    798, deg =  6 */     79,    820,   1157,   1504,   1759,   2096, 
/* msg =    799, deg =  6 */     84,    821,   1164,   1506,   1754,   2097, 
/* msg =    800, deg =  6 */     78,    822,   1160,   1497,   1749,   2098, 
/* msg =    801, deg =  6 */     83,    823,   1156,   1499,   1755,   2099, 
/* msg =    802, deg =  6 */     77,    824,   1163,   1501,   1750,   2100, 
/* msg =    803, deg =  6 */     79,    290,    825,   1525,   2101,   2526, 
/* msg =    804, deg =  6 */     84,    294,    826,   1527,   2102,   2524, 
/* msg =    805, deg =  6 */     78,    287,    827,   1518,   2103,   2522, 
/* msg =    806, deg =  6 */     83,    291,    828,   1520,   2104,   2520, 
/* msg =    807, deg =  6 */     77,    295,    829,   1522,   2105,   2529, 
/* msg =    808, deg =  6 */     82,    288,    830,   1524,   2106,   2527, 
/* msg =    809, deg =  6 */     87,    292,    831,   1526,   2107,   2525, 
/* msg =    810, deg =  6 */     81,    296,    832,   1528,   2108,   2523, 
/* msg =    811, deg =  6 */     86,    289,    833,   1519,   2109,   2521, 
/* msg =    812, deg =  6 */     80,    293,    834,   1521,   2110,   2519, 
/* msg =    813, deg =  6 */     85,    286,    835,   1523,   2111,   2528, 
/* msg =    814, deg =  6 */    334,    499,    715,   2112,   2339,   2625, 
/* msg =    815, deg =  6 */    338,    496,    716,   2113,   2333,   2623, 
/* msg =    816, deg =  6 */    331,    504,    717,   2114,   2338,   2621, 
/* msg =    817, deg =  6 */    335,    501,    718,   2115,   2332,   2619, 
/* msg =    818, deg =  6 */    339,    498,    719,   2116,   2337,   2628, 
/* msg =    819, deg =  6 */    332,    495,    720,   2117,   2342,   2626, 
/* msg =    820, deg =  6 */    336,    503,    721,   2118,   2336,   2624, 
/* msg =    821, deg =  6 */    340,    500,    722,   2119,   2341,   2622, 
/* msg =    822, deg =  6 */    333,    497,    723,   2120,   2335,   2620, 
/* msg =    823, deg =  6 */    337,    505,    724,   2121,   2340,   2618, 
/* msg =    824, deg =  6 */    330,    502,    725,   2122,   2334,   2627, 
/* msg =    825, deg =  6 */    587,    726,    829,   2123,   2152,   2394, 
/* msg =    826, deg =  6 */    584,    727,    830,   2124,   2153,   2388, 
/* msg =    827, deg =  6 */    592,    728,    831,   2125,   2154,   2393, 
/* msg =    828, deg =  6 */    589,    729,    832,   2126,   2155,   2387, 
/* msg =    829, deg =  6 */    586,    730,    833,   2127,   2145,   2392, 
/* msg =    830, deg =  6 */    583,    731,    834,   2128,   2146,   2397, 
/* msg =    831, deg =  6 */    591,    732,    835,   2129,   2147,   2391, 
/* msg =    832, deg =  6 */    588,    733,    825,   2130,   2148,   2396, 
/* msg =    833, deg =  6 */    585,    734,    826,   2131,   2149,   2390, 
/* msg =    834, deg =  6 */    593,    735,    827,   2132,   2150,   2395, 
/* msg =    835, deg =  6 */    590,    736,    828,   2133,   2151,   2389, 
/* msg =    836, deg =  6 */    346,    841,    902,   1447,   2162,   2211, 
/* msg =    837, deg =  6 */    351,    842,    903,   1444,   2163,   2212, 
/* msg =    838, deg =  6 */    345,    843,    904,   1441,   2164,   2213, 
/* msg =    839, deg =  6 */    350,    844,    905,   1449,   2165,   2214, 
/* msg =    840, deg =  6 */    344,    845,    906,   1446,   2166,   2215, 
/* msg =    841, deg =  6 */    349,    846,    907,   1443,   2156,   2216, 
/* msg =    842, deg =  6 */    343,    836,    908,   1451,   2157,   2217, 
/* msg =    843, deg =  6 */    348,    837,    909,   1448,   2158,   2218, 
/* msg =    844, deg =  6 */    342,    838,    910,   1445,   2159,   2219, 
/* msg =    845, deg =  6 */    347,    839,    911,   1442,   2160,   2220, 
/* msg =    846, deg =  6 */    341,    840,    912,   1450,   2161,   2221, 
/* msg =    847, deg =  6 */    555,    913,   1094,   1931,   2222,   2591, 
/* msg =    848, deg =  6 */    554,    914,   1089,   1927,   2223,   2594, 
/* msg =    849, deg =  6 */    553,    915,   1095,   1934,   2224,   2586, 
/* msg =    850, deg =  6 */    552,    916,   1090,   1930,   2225,   2589, 
/* msg =    851, deg =  6 */    551,    917,   1096,   1926,   2226,   2592, 
/* msg =    852, deg =  6 */    550,    918,   1091,   1933,   2227,   2595, 
/* msg =    853, deg =  6 */    560,    919,   1097,   1929,   2228,   2587, 
/* msg =    854, deg =  6 */    559,    920,   1092,   1925,   2229,   2590, 
/* msg =    855, deg =  6 */    558,    921,   1098,   1932,   2230,   2593, 
/* msg =    856, deg =  6 */    557,    922,   1093,   1928,   2231,   2585, 
/* msg =    857, deg =  6 */    556,    923,   1099,   1935,   2232,   2588, 
/* msg =    858, deg =  6 */     19,    764,    924,   1700,   2233,   2283, 
/* msg =    859, deg =  6 */     13,    768,    925,   1702,   2234,   2281, 
/* msg =    860, deg =  6 */     18,    761,    926,   1704,   2235,   2279, 
/* msg =    861, deg =  6 */     12,    765,    927,   1695,   2236,   2277, 
/* msg =    862, deg =  6 */     17,    769,    928,   1697,   2237,   2286, 
/* msg =    863, deg =  6 */     11,    762,    929,   1699,   2238,   2284, 
/* msg =    864, deg =  6 */     16,    766,    930,   1701,   2239,   2282, 
/* msg =    865, deg =  6 */     21,    759,    931,   1703,   2240,   2280, 
/* msg =    866, deg =  6 */     15,    763,    932,   1694,   2241,   2278, 
/* msg =    867, deg =  6 */     20,    767,    933,   1696,   2242,   2287, 
/* msg =    868, deg =  6 */     14,    760,    934,   1698,   2243,   2285, 
/* msg =    869, deg =  6 */    269,    935,    973,   1469,   2096,   2244, 
/* msg =    870, deg =  6 */    274,    936,    971,   1466,   2100,   2245, 
/* msg =    871, deg =  6 */    268,    937,    969,   1463,   2093,   2246, 
/* msg =    872, deg =  6 */    273,    938,    978,   1471,   2097,   2247, 
/* msg =    873, deg =  6 */    267,    939,    976,   1468,   2090,   2248, 
/* msg =    874, deg =  6 */    272,    940,    974,   1465,   2094,   2249, 
/* msg =    875, deg =  6 */    266,    941,    972,   1473,   2098,   2250, 
/* msg =    876, deg =  6 */    271,    942,    970,   1470,   2091,   2251, 
/* msg =    877, deg =  6 */    265,    943,    968,   1467,   2095,   2252, 
/* msg =    878, deg =  6 */    270,    944,    977,   1464,   2099,   2253, 
/* msg =    879, deg =  6 */    264,    945,    975,   1472,   2092,   2254, 
/* msg =    880, deg =  6 */    522,    946,   1303,   1909,   2255,   2569, 
/* msg =    881, deg =  6 */    521,    947,   1306,   1908,   2256,   2572, 
/* msg =    882, deg =  6 */    520,    948,   1298,   1907,   2257,   2564, 
/* msg =    883, deg =  6 */    519,    949,   1301,   1906,   2258,   2567, 
/* msg =    884, deg =  6 */    518,    950,   1304,   1905,   2259,   2570, 
/* msg =    885, deg =  6 */    517,    951,   1307,   1904,   2260,   2573, 
/* msg =    886, deg =  6 */    527,    952,   1299,   1903,   2261,   2565, 
/* msg =    887, deg =  6 */    526,    953,   1302,   1913,   2262,   2568, 
/* msg =    888, deg =  6 */    525,    954,   1305,   1912,   2263,   2571, 
/* msg =    889, deg =  6 */    524,    955,   1308,   1911,   2264,   2563, 
/* msg =    890, deg =  6 */    523,    956,   1300,   1910,   2265,   2566, 
/* msg =    891, deg =  6 */    181,    775,    836,   1601,   2266,   2338, 
/* msg =    892, deg =  6 */    178,    779,    837,   1595,   2267,   2336, 
/* msg =    893, deg =  6 */    186,    772,    838,   1600,   2268,   2334, 
/* msg =    894, deg =  6 */    183,    776,    839,   1605,   2269,   2332, 
/* msg =    895, deg =  6 */    180,    780,    840,   1599,   2270,   2341, 
/* msg =    896, deg =  6 */    177,    773,    841,   1604,   2271,   2339, 
/* msg =    897, deg =  6 */    185,    777,    842,   1598,   2272,   2337, 
/* msg =    898, deg =  6 */    182,    770,    843,   1603,   2273,   2335, 
/* msg =    899, deg =  6 */    179,    774,    844,   1597,   2274,   2333, 
/* msg =    900, deg =  6 */    176,    778,    845,   1602,   2275,   2342, 
/* msg =    901, deg =  6 */    184,    771,    846,   1596,   2276,   2340, 
/* msg =    902, deg =  6 */    390,    847,   1028,   1415,   2107,   2156, 
/* msg =    903, deg =  6 */    392,    848,   1026,   1410,   2111,   2157, 
/* msg =    904, deg =  6 */    394,    849,   1024,   1416,   2104,   2158, 
/* msg =    905, deg =  6 */    385,    850,   1033,   1411,   2108,   2159, 
/* msg =    906, deg =  6 */    387,    851,   1031,   1417,   2101,   2160, 
/* msg =    907, deg =  6 */    389,    852,   1029,   1412,   2105,   2161, 
/* msg =    908, deg =  6 */    391,    853,   1027,   1418,   2109,   2162, 
/* msg =    909, deg =  6 */    393,    854,   1025,   1413,   2102,   2163, 
/* msg =    910, deg =  6 */    395,    855,   1023,   1408,   2106,   2164, 
/* msg =    911, deg =  6 */    386,    856,   1032,   1414,   2110,   2165, 
/* msg =    912, deg =  6 */    388,    857,   1030,   1409,   2103,   2166, 
/* msg =    913, deg =  6 */    599,    858,   1281,   1876,   2167,   2437, 
/* msg =    914, deg =  6 */    595,    859,   1284,   1875,   2168,   2432, 
/* msg =    915, deg =  6 */    602,    860,   1276,   1874,   2169,   2438, 
/* msg =    916, deg =  6 */    598,    861,   1279,   1873,   2170,   2433, 
/* msg =    917, deg =  6 */    594,    862,   1282,   1872,   2171,   2439, 
/* msg =    918, deg =  6 */    601,    863,   1285,   1871,   2172,   2434, 
/* msg =    919, deg =  6 */    597,    864,   1277,   1870,   2173,   2440, 
/* msg =    920, deg =  6 */    604,    865,   1280,   1880,   2174,   2435, 
/* msg =    921, deg =  6 */    600,    866,   1283,   1879,   2175,   2441, 
/* msg =    922, deg =  6 */    596,    867,   1286,   1878,   2176,   2436, 
/* msg =    923, deg =  6 */    603,    868,   1278,   1877,   2177,   2431, 
/* msg =    924, deg =  6 */    203,    869,    929,   1645,   2178,   2250, 
/* msg =    925, deg =  6 */    200,    870,    930,   1639,   2179,   2251, 
/* msg =    926, deg =  6 */    208,    871,    931,   1644,   2180,   2252, 
/* msg =    927, deg =  6 */    205,    872,    932,   1649,   2181,   2253, 
/* msg =    928, deg =  6 */    202,    873,    933,   1643,   2182,   2254, 
/* msg =    929, deg =  6 */    199,    874,    934,   1648,   2183,   2244, 
/* msg =    930, deg =  6 */    207,    875,    924,   1642,   2184,   2245, 
/* msg =    931, deg =  6 */    204,    876,    925,   1647,   2185,   2246, 
/* msg =    932, deg =  6 */    201,    877,    926,   1641,   2186,   2247, 
/* msg =    933, deg =  6 */    198,    878,    927,   1646,   2187,   2248, 
/* msg =    934, deg =  6 */    206,    879,    928,   1640,   2188,   2249, 
/* msg =    935, deg =  6 */    456,    880,   1138,   1416,   1942,   2189, 
/* msg =    936, deg =  6 */    458,    881,   1133,   1411,   1938,   2190, 
/* msg =    937, deg =  6 */    460,    882,   1139,   1417,   1945,   2191, 
/* msg =    938, deg =  6 */    451,    883,   1134,   1412,   1941,   2192, 
/* msg =    939, deg =  6 */    453,    884,   1140,   1418,   1937,   2193, 
/* msg =    940, deg =  6 */    455,    885,   1135,   1413,   1944,   2194, 
/* msg =    941, deg =  6 */    457,    886,   1141,   1408,   1940,   2195, 
/* msg =    942, deg =  6 */    459,    887,   1136,   1414,   1936,   2196, 
/* msg =    943, deg =  6 */    461,    888,   1142,   1409,   1943,   2197, 
/* msg =    944, deg =  6 */    452,    889,   1137,   1415,   1939,   2198, 
/* msg =    945, deg =  6 */    454,    890,   1143,   1410,   1946,   2199, 
/* msg =    946, deg =  6 */     20,    709,    891,   1755,   2200,   2514, 
/* msg =    947, deg =  6 */     14,    705,    892,   1757,   2201,   2509, 
/* msg =    948, deg =  6 */     19,    712,    893,   1759,   2202,   2515, 
/* msg =    949, deg =  6 */     13,    708,    894,   1750,   2203,   2510, 
/* msg =    950, deg =  6 */     18,    704,    895,   1752,   2204,   2516, 
/* msg =    951, deg =  6 */     12,    711,    896,   1754,   2205,   2511, 
/* msg =    952, deg =  6 */     17,    707,    897,   1756,   2206,   2517, 
/* msg =    953, deg =  6 */     11,    714,    898,   1758,   2207,   2512, 
/* msg =    954, deg =  6 */     16,    710,    899,   1749,   2208,   2518, 
/* msg =    955, deg =  6 */     21,    706,    900,   1751,   2209,   2513, 
/* msg =    956, deg =  6 */     15,    713,    901,   1753,   2210,   2508, 
/* msg =    957, deg =  6 */    861,    960,   1067,   2285,   2288,   2505, 
/* msg =    958, deg =  6 */    866,    961,   1068,   2286,   2289,   2502, 
/* msg =    959, deg =  6 */    860,    962,   1069,   2287,   2290,   2499, 
/* msg =    960, deg =  6 */    865,    963,   1070,   2277,   2291,   2507, 
/* msg =    961, deg =  6 */    859,    964,   1071,   2278,   2292,   2504, 
/* msg =    962, deg =  6 */    864,    965,   1072,   2279,   2293,   2501, 
/* msg =    963, deg =  6 */    858,    966,   1073,   2280,   2294,   2498, 
/* msg =    964, deg =  6 */    863,    967,   1074,   2281,   2295,   2506, 
/* msg =    965, deg =  6 */    868,    957,   1075,   2282,   2296,   2503, 
/* msg =    966, deg =  6 */    862,    958,   1076,   2283,   2297,   2500, 
/* msg =    967, deg =  6 */    867,    959,   1077,   2284,   2298,   2497, 
/* msg =    968, deg =  6 */    957,   1191,   1213,   2054,   2197,   2299, 
/* msg =    969, deg =  6 */    958,   1188,   1217,   2052,   2191,   2300, 
/* msg =    970, deg =  6 */    959,   1196,   1210,   2050,   2196,   2301, 
/* msg =    971, deg =  6 */    960,   1193,   1214,   2048,   2190,   2302, 
/* msg =    972, deg =  6 */    961,   1190,   1218,   2046,   2195,   2303, 
/* msg =    973, deg =  6 */    962,   1198,   1211,   2055,   2189,   2304, 
/* msg =    974, deg =  6 */    963,   1195,   1215,   2053,   2194,   2305, 
/* msg =    975, deg =  6 */    964,   1192,   1219,   2051,   2199,   2306, 
/* msg =    976, deg =  6 */    965,   1189,   1212,   2049,   2193,   2307, 
/* msg =    977, deg =  6 */    966,   1197,   1216,   2047,   2198,   2308, 
/* msg =    978, deg =  6 */    967,   1194,   1220,   2056,   2192,   2309, 
/* msg =    979, deg =  6 */     67,    135,    968,   1823,   2010,   2310, 
/* msg =    980, deg =  6 */     72,    142,    969,   1818,   2012,   2311, 
/* msg =    981, deg =  6 */     66,    138,    970,   1824,   2003,   2312, 
/* msg =    982, deg =  6 */     71,    134,    971,   1819,   2005,   2313, 
/* msg =    983, deg =  6 */     76,    141,    972,   1825,   2007,   2314, 
/* msg =    984, deg =  6 */     70,    137,    973,   1820,   2009,   2315, 
/* msg =    985, deg =  6 */     75,    133,    974,   1815,   2011,   2316, 
/* msg =    986, deg =  6 */     69,    140,    975,   1821,   2002,   2317, 
/* msg =    987, deg =  6 */     74,    136,    976,   1816,   2004,   2318, 
/* msg =    988, deg =  6 */     68,    132,    977,   1822,   2006,   2319, 
/* msg =    989, deg =  6 */     73,    139,    978,   1817,   2008,   2320, 
/* msg =    990, deg =  6 */    278,    388,    979,   1592,   1702,   2321, 
/* msg =    991, deg =  6 */    281,    387,    980,   1584,   1701,   2322, 
/* msg =    992, deg =  6 */    284,    386,    981,   1587,   1700,   2323, 
/* msg =    993, deg =  6 */    276,    385,    982,   1590,   1699,   2324, 
/* msg =    994, deg =  6 */    279,    395,    983,   1593,   1698,   2325, 
/* msg =    995, deg =  6 */    282,    394,    984,   1585,   1697,   2326, 
/* msg =    996, deg =  6 */    285,    393,    985,   1588,   1696,   2327, 
/* msg =    997, deg =  6 */    277,    392,    986,   1591,   1695,   2328, 
/* msg =    998, deg =  6 */    280,    391,    987,   1594,   1694,   2329, 
/* msg =    999, deg =  6 */    283,    390,    988,   1586,   1704,   2330, 
/* msg =   1000, deg =  6 */    275,    389,    989,   1589,   1703,   2331, 
/* msg =   1001, deg =  6 */    487,    641,    990,   1360,   1515,   2332, 
/* msg =   1002, deg =  6 */    493,    643,    991,   1355,   1511,   2333, 
/* msg =   1003, deg =  6 */    488,    645,    992,   1361,   1507,   2334, 
/* msg =   1004, deg =  6 */    494,    647,    993,   1356,   1514,   2335, 
/* msg =   1005, deg =  6 */    489,    638,    994,   1362,   1510,   2336, 
/* msg =   1006, deg =  6 */    484,    640,    995,   1357,   1517,   2337, 
/* msg =   1007, deg =  6 */    490,    642,    996,   1363,   1513,   2338, 
/* msg =   1008, deg =  6 */    485,    644,    997,   1358,   1509,   2339, 
/* msg =   1009, deg =  6 */    491,    646,    998,   1353,   1516,   2340, 
/* msg =   1010, deg =  6 */    486,    648,    999,   1359,   1512,   2341, 
/* msg =   1011, deg =  6 */    492,    639,   1000,   1354,   1508,   2342, 
/* msg =   1012, deg =  6 */    817,    894,   1001,   2343,   2461,   2538, 
/* msg =   1013, deg =  6 */    815,    899,   1002,   2344,   2458,   2531, 
/* msg =   1014, deg =  6 */    824,    893,   1003,   2345,   2455,   2535, 
/* msg =   1015, deg =  6 */    822,    898,   1004,   2346,   2463,   2539, 
/* msg =   1016, deg =  6 */    820,    892,   1005,   2347,   2460,   2532, 
/* msg =   1017, deg =  6 */    818,    897,   1006,   2348,   2457,   2536, 
/* msg =   1018, deg =  6 */    816,    891,   1007,   2349,   2454,   2540, 
/* msg =   1019, deg =  6 */    814,    896,   1008,   2350,   2462,   2533, 
/* msg =   1020, deg =  6 */    823,    901,   1009,   2351,   2459,   2537, 
/* msg =   1021, deg =  6 */    821,    895,   1010,   2352,   2456,   2530, 
/* msg =   1022, deg =  6 */    819,    900,   1011,   2353,   2453,   2534, 
/* msg =   1023, deg =  6 */   1012,   1026,   1147,   2230,   2351,   2354, 
/* msg =   1024, deg =  6 */   1013,   1027,   1144,   2224,   2352,   2355, 
/* msg =   1025, deg =  6 */   1014,   1028,   1152,   2229,   2353,   2356, 
/* msg =   1026, deg =  6 */   1015,   1029,   1149,   2223,   2343,   2357, 
/* msg =   1027, deg =  6 */   1016,   1030,   1146,   2228,   2344,   2358, 
/* msg =   1028, deg =  6 */   1017,   1031,   1154,   2222,   2345,   2359, 
/* msg =   1029, deg =  6 */   1018,   1032,   1151,   2227,   2346,   2360, 
/* msg =   1030, deg =  6 */   1019,   1033,   1148,   2232,   2347,   2361, 
/* msg =   1031, deg =  6 */   1020,   1023,   1145,   2226,   2348,   2362, 
/* msg =   1032, deg =  6 */   1021,   1024,   1153,   2231,   2349,   2363, 
/* msg =   1033, deg =  6 */   1022,   1025,   1150,   2225,   2350,   2364, 
/* msg =   1034, deg =  6 */     73,   1023,   1235,   1999,   2043,   2365, 
/* msg =   1035, deg =  6 */     67,   1024,   1239,   2001,   2041,   2366, 
/* msg =   1036, deg =  6 */     72,   1025,   1232,   1992,   2039,   2367, 
/* msg =   1037, deg =  6 */     66,   1026,   1236,   1994,   2037,   2368, 
/* msg =   1038, deg =  6 */     71,   1027,   1240,   1996,   2035,   2369, 
/* msg =   1039, deg =  6 */     76,   1028,   1233,   1998,   2044,   2370, 
/* msg =   1040, deg =  6 */     70,   1029,   1237,   2000,   2042,   2371, 
/* msg =   1041, deg =  6 */     75,   1030,   1241,   1991,   2040,   2372, 
/* msg =   1042, deg =  6 */     69,   1031,   1234,   1993,   2038,   2373, 
/* msg =   1043, deg =  6 */     74,   1032,   1238,   1995,   2036,   2374, 
/* msg =   1044, deg =  6 */     68,   1033,   1242,   1997,   2045,   2375, 
/* msg =   1045, deg =  6 */    113,    322,   1034,   1768,   1856,   2376, 
/* msg =   1046, deg =  6 */    120,    325,   1035,   1767,   1851,   2377, 
/* msg =   1047, deg =  6 */    116,    328,   1036,   1766,   1857,   2378, 
/* msg =   1048, deg =  6 */    112,    320,   1037,   1765,   1852,   2379, 
/* msg =   1049, deg =  6 */    119,    323,   1038,   1764,   1858,   2380, 
/* msg =   1050, deg =  6 */    115,    326,   1039,   1763,   1853,   2381, 
/* msg =   1051, deg =  6 */    111,    329,   1040,   1762,   1848,   2382, 
/* msg =   1052, deg =  6 */    118,    321,   1041,   1761,   1854,   2383, 
/* msg =   1053, deg =  6 */    114,    324,   1042,   1760,   1849,   2384, 
/* msg =   1054, deg =  6 */    110,    327,   1043,   1770,   1855,   2385, 
/* msg =   1055, deg =  6 */    117,    319,   1044,   1769,   1850,   2386, 
/* msg =   1056, deg =  6 */    443,    575,   1045,   1537,   1669,   2387, 
/* msg =   1057, deg =  6 */    442,    581,   1046,   1533,   1661,   2388, 
/* msg =   1058, deg =  6 */    441,    576,   1047,   1529,   1664,   2389, 
/* msg =   1059, deg =  6 */    440,    582,   1048,   1536,   1667,   2390, 
/* msg =   1060, deg =  6 */    450,    577,   1049,   1532,   1670,   2391, 
/* msg =   1061, deg =  6 */    449,    572,   1050,   1539,   1662,   2392, 
/* msg =   1062, deg =  6 */    448,    578,   1051,   1535,   1665,   2393, 
/* msg =   1063, deg =  6 */    447,    573,   1052,   1531,   1668,   2394, 
/* msg =   1064, deg =  6 */    446,    579,   1053,   1538,   1671,   2395, 
/* msg =   1065, deg =  6 */    445,    574,   1054,   1534,   1663,   2396, 
/* msg =   1066, deg =  6 */    444,    580,   1055,   1530,   1666,   2397, 
/* msg =   1067, deg =  6 */    652,    828,   1056,   1355,   2277,   2637, 
/* msg =   1068, deg =  6 */    654,    826,   1057,   1361,   2278,   2630, 
/* msg =   1069, deg =  6 */    656,    835,   1058,   1356,   2279,   2634, 
/* msg =   1070, deg =  6 */    658,    833,   1059,   1362,   2280,   2638, 
/* msg =   1071, deg =  6 */    649,    831,   1060,   1357,   2281,   2631, 
/* msg =   1072, deg =  6 */    651,    829,   1061,   1363,   2282,   2635, 
/* msg =   1073, deg =  6 */    653,    827,   1062,   1358,   2283,   2639, 
/* msg =   1074, deg =  6 */    655,    825,   1063,   1353,   2284,   2632, 
/* msg =   1075, deg =  6 */    657,    834,   1064,   1359,   2285,   2636, 
/* msg =   1076, deg =  6 */    659,    832,   1065,   1354,   2286,   2629, 
/* msg =   1077, deg =  6 */    650,    830,   1066,   1360,   2287,   2633, 
/* msg =   1078, deg =  6 */    175,   1088,   1111,   2102,   2399,   2486, 
/* msg =   1079, deg =  6 */    169,   1078,   1112,   2110,   2400,   2487, 
/* msg =   1080, deg =  6 */    174,   1079,   1113,   2107,   2401,   2488, 
/* msg =   1081, deg =  6 */    168,   1080,   1114,   2104,   2402,   2489, 
/* msg =   1082, deg =  6 */    173,   1081,   1115,   2101,   2403,   2490, 
/* msg =   1083, deg =  6 */    167,   1082,   1116,   2109,   2404,   2491, 
/* msg =   1084, deg =  6 */    172,   1083,   1117,   2106,   2405,   2492, 
/* msg =   1085, deg =  6 */    166,   1084,   1118,   2103,   2406,   2493, 
/* msg =   1086, deg =  6 */    171,   1085,   1119,   2111,   2407,   2494, 
/* msg =   1087, deg =  6 */    165,   1086,   1120,   2108,   2408,   2495, 
/* msg =   1088, deg =  6 */    170,   1087,   1121,   2105,   2398,   2496, 
/* msg =   1089, deg =  6 */      5,    384,   1122,   1794,   2168,   2497, 
/* msg =   1090, deg =  6 */     10,    377,   1123,   1803,   2170,   2498, 
/* msg =   1091, deg =  6 */      4,    381,   1124,   1801,   2172,   2499, 
/* msg =   1092, deg =  6 */      9,    374,   1125,   1799,   2174,   2500, 
/* msg =   1093, deg =  6 */      3,    378,   1126,   1797,   2176,   2501, 
/* msg =   1094, deg =  6 */      8,    382,   1127,   1795,   2167,   2502, 
/* msg =   1095, deg =  6 */      2,    375,   1128,   1793,   2169,   2503, 
/* msg =   1096, deg =  6 */      7,    379,   1129,   1802,   2171,   2504, 
/* msg =   1097, deg =  6 */      1,    383,   1130,   1800,   2173,   2505, 
/* msg =   1098, deg =  6 */      6,    376,   1131,   1798,   2175,   2506, 
/* msg =   1099, deg =  6 */      0,    380,   1132,   1796,   2177,   2507, 
/* msg =   1100, deg =  6 */    263,    714,   1133,   1607,   1937,   2508, 
/* msg =   1101, deg =  6 */    262,    706,   1134,   1606,   1940,   2509, 
/* msg =   1102, deg =  6 */    261,    709,   1135,   1616,   1943,   2510, 
/* msg =   1103, deg =  6 */    260,    712,   1136,   1615,   1946,   2511, 
/* msg =   1104, deg =  6 */    259,    704,   1137,   1614,   1938,   2512, 
/* msg =   1105, deg =  6 */    258,    707,   1138,   1613,   1941,   2513, 
/* msg =   1106, deg =  6 */    257,    710,   1139,   1612,   1944,   2514, 
/* msg =   1107, deg =  6 */    256,    713,   1140,   1611,   1936,   2515, 
/* msg =   1108, deg =  6 */    255,    705,   1141,   1610,   1939,   2516, 
/* msg =   1109, deg =  6 */    254,    708,   1142,   1609,   1942,   2517, 
/* msg =   1110, deg =  6 */    253,    711,   1143,   1608,   1945,   2518, 
/* msg =   1111, deg =  6 */    516,    923,   1144,   1422,   1706,   2398, 
/* msg =   1112, deg =  6 */    514,    914,   1145,   1428,   1710,   2399, 
/* msg =   1113, deg =  6 */    512,    916,   1146,   1423,   1714,   2400, 
/* msg =   1114, deg =  6 */    510,    918,   1147,   1429,   1707,   2401, 
/* msg =   1115, deg =  6 */    508,    920,   1148,   1424,   1711,   2402, 
/* msg =   1116, deg =  6 */    506,    922,   1149,   1419,   1715,   2403, 
/* msg =   1117, deg =  6 */    515,    913,   1150,   1425,   1708,   2404, 
/* msg =   1118, deg =  6 */    513,    915,   1151,   1420,   1712,   2405, 
/* msg =   1119, deg =  6 */    511,    917,   1152,   1426,   1705,   2406, 
/* msg =   1120, deg =  6 */    509,    919,   1153,   1421,   1709,   2407, 
/* msg =   1121, deg =  6 */    507,    921,   1154,   1427,   1713,   2408, 
/* msg =   1122, deg =  6 */    769,   1132,   1155,   1475,   2409,   2443, 
/* msg =   1123, deg =  6 */    766,   1122,   1156,   1480,   2410,   2444, 
/* msg =   1124, deg =  6 */    763,   1123,   1157,   1474,   2411,   2445, 
/* msg =   1125, deg =  6 */    760,   1124,   1158,   1479,   2412,   2446, 
/* msg =   1126, deg =  6 */    768,   1125,   1159,   1484,   2413,   2447, 
/* msg =   1127, deg =  6 */    765,   1126,   1160,   1478,   2414,   2448, 
/* msg =   1128, deg =  6 */    762,   1127,   1161,   1483,   2415,   2449, 
/* msg =   1129, deg =  6 */    759,   1128,   1162,   1477,   2416,   2450, 
/* msg =   1130, deg =  6 */    767,   1129,   1163,   1482,   2417,   2451, 
/* msg =   1131, deg =  6 */    764,   1130,   1164,   1476,   2418,   2452, 
/* msg =   1132, deg =  6 */    761,   1131,   1165,   1481,   2419,   2442, 
/* msg =   1133, deg =  6 */      7,   1022,   1166,   2256,   2420,   2575, 
/* msg =   1134, deg =  6 */      1,   1018,   1167,   2258,   2421,   2581, 
/* msg =   1135, deg =  6 */      6,   1014,   1168,   2260,   2422,   2576, 
/* msg =   1136, deg =  6 */      0,   1021,   1169,   2262,   2423,   2582, 
/* msg =   1137, deg =  6 */      5,   1017,   1170,   2264,   2424,   2577, 
/* msg =   1138, deg =  6 */     10,   1013,   1171,   2255,   2425,   2583, 
/* msg =   1139, deg =  6 */      4,   1020,   1172,   2257,   2426,   2578, 
/* msg =   1140, deg =  6 */      9,   1016,   1173,   2259,   2427,   2584, 
/* msg =   1141, deg =  6 */      3,   1012,   1174,   2261,   2428,   2579, 
/* msg =   1142, deg =  6 */      8,   1019,   1175,   2263,   2429,   2574, 
/* msg =   1143, deg =  6 */      2,   1015,   1176,   2265,   2430,   2580, 
/* msg =   1144, deg =  6 */    340,   1177,   1275,   1948,   2344,   2431, 
/* msg =   1145, deg =  6 */    339,   1178,   1270,   1951,   2351,   2432, 
/* msg =   1146, deg =  6 */    338,   1179,   1265,   1954,   2347,   2433, 
/* msg =   1147, deg =  6 */    337,   1180,   1271,   1957,   2343,   2434, 
/* msg =   1148, deg =  6 */    336,   1181,   1266,   1949,   2350,   2435, 
/* msg =   1149, deg =  6 */    335,   1182,   1272,   1952,   2346,   2436, 
/* msg =   1150, deg =  6 */    334,   1183,   1267,   1955,   2353,   2437, 
/* msg =   1151, deg =  6 */    333,   1184,   1273,   1947,   2349,   2438, 
/* msg =   1152, deg =  6 */    332,   1185,   1268,   1950,   2345,   2439, 
/* msg =   1153, deg =  6 */    331,   1186,   1274,   1953,   2352,   2440, 
/* msg =   1154, deg =  6 */    330,   1187,   1269,   1956,   2348,   2441, 
/* msg =   1155, deg =  6 */    197,    549,   1188,   1761,   2113,   2442, 
/* msg =   1156, deg =  6 */    191,    547,   1189,   1765,   2121,   2443, 
/* msg =   1157, deg =  6 */    196,    545,   1190,   1769,   2118,   2444, 
/* msg =   1158, deg =  6 */    190,    543,   1191,   1762,   2115,   2445, 
/* msg =   1159, deg =  6 */    195,    541,   1192,   1766,   2112,   2446, 
/* msg =   1160, deg =  6 */    189,    539,   1193,   1770,   2120,   2447, 
/* msg =   1161, deg =  6 */    194,    548,   1194,   1763,   2117,   2448, 
/* msg =   1162, deg =  6 */    188,    546,   1195,   1767,   2114,   2449, 
/* msg =   1163, deg =  6 */    193,    544,   1196,   1760,   2122,   2450, 
/* msg =   1164, deg =  6 */    187,    542,   1197,   1764,   2119,   2451, 
/* msg =   1165, deg =  6 */    192,    540,   1198,   1768,   2116,   2452, 
/* msg =   1166, deg =  6 */    450,    758,   1078,   1453,   1882,   2453, 
/* msg =   1167, deg =  6 */    443,    755,   1079,   1458,   1891,   2454, 
/* msg =   1168, deg =  6 */    447,    752,   1080,   1452,   1889,   2455, 
/* msg =   1169, deg =  6 */    440,    749,   1081,   1457,   1887,   2456, 
/* msg =   1170, deg =  6 */    444,    757,   1082,   1462,   1885,   2457, 
/* msg =   1171, deg =  6 */    448,    754,   1083,   1456,   1883,   2458, 
/* msg =   1172, deg =  6 */    441,    751,   1084,   1461,   1881,   2459, 
/* msg =   1173, deg =  6 */    445,    748,   1085,   1455,   1890,   2460, 
/* msg =   1174, deg =  6 */    449,    756,   1086,   1460,   1888,   2461, 
/* msg =   1175, deg =  6 */    442,    753,   1087,   1454,   1886,   2462, 
/* msg =   1176, deg =  6 */    446,    750,   1088,   1459,   1884,   2463, 
/* msg =   1177, deg =  6 */    703,    967,   1089,   1651,   2464,   2597, 
/* msg =   1178, deg =  6 */    695,    963,   1090,   1650,   2465,   2603, 
/* msg =   1179, deg =  6 */    698,    959,   1091,   1660,   2466,   2598, 
/* msg =   1180, deg =  6 */    701,    966,   1092,   1659,   2467,   2604, 
/* msg =   1181, deg =  6 */    693,    962,   1093,   1658,   2468,   2599, 
/* msg =   1182, deg =  6 */    696,    958,   1094,   1657,   2469,   2605, 
/* msg =   1183, deg =  6 */    699,    965,   1095,   1656,   2470,   2600, 
/* msg =   1184, deg =  6 */    702,    961,   1096,   1655,   2471,   2606, 
/* msg =   1185, deg =  6 */    694,    957,   1097,   1654,   2472,   2601, 
/* msg =   1186, deg =  6 */    697,    964,   1098,   1653,   2473,   2596, 
/* msg =   1187, deg =  6 */    700,    960,   1099,   1652,   2474,   2602, 
/* msg =   1188, deg =  6 */    956,   1100,   1297,   1424,   2289,   2475, 
/* msg =   1189, deg =  6 */    947,   1101,   1292,   1419,   2296,   2476, 
/* msg =   1190, deg =  6 */    949,   1102,   1287,   1425,   2292,   2477, 
/* msg =   1191, deg =  6 */    951,   1103,   1293,   1420,   2288,   2478, 
/* msg =   1192, deg =  6 */    953,   1104,   1288,   1426,   2295,   2479, 
/* msg =   1193, deg =  6 */    955,   1105,   1294,   1421,   2291,   2480, 
/* msg =   1194, deg =  6 */    946,   1106,   1289,   1427,   2298,   2481, 
/* msg =   1195, deg =  6 */    948,   1107,   1295,   1422,   2294,   2482, 
/* msg =   1196, deg =  6 */    950,   1108,   1290,   1428,   2290,   2483, 
/* msg =   1197, deg =  6 */    952,   1109,   1296,   1423,   2297,   2484, 
/* msg =   1198, deg =  6 */    954,   1110,   1291,   1429,   2293,   2485, 
/* msg =   1199, deg =  6 */    812,   1208,   1276,   1707,   2521,   2563, 
/* msg =   1200, deg =  6 */    806,   1209,   1277,   1715,   2522,   2564, 
/* msg =   1201, deg =  6 */    811,   1199,   1278,   1712,   2523,   2565, 
/* msg =   1202, deg =  6 */    805,   1200,   1279,   1709,   2524,   2566, 
/* msg =   1203, deg =  6 */    810,   1201,   1280,   1706,   2525,   2567, 
/* msg =   1204, deg =  6 */    804,   1202,   1281,   1714,   2526,   2568, 
/* msg =   1205, deg =  6 */    809,   1203,   1282,   1711,   2527,   2569, 
/* msg =   1206, deg =  6 */    803,   1204,   1283,   1708,   2528,   2570, 
/* msg =   1207, deg =  6 */    808,   1205,   1284,   1705,   2529,   2571, 
/* msg =   1208, deg =  6 */    813,   1206,   1285,   1713,   2519,   2572, 
/* msg =   1209, deg =  6 */    807,   1207,   1286,   1710,   2520,   2573, 
/* msg =   1210, deg =  6 */    130,   1021,   1287,   1520,   2290,   2574, 
/* msg =   1211, deg =  6 */    129,   1013,   1288,   1519,   2293,   2575, 
/* msg =   1212, deg =  6 */    128,   1016,   1289,   1518,   2296,   2576, 
/* msg =   1213, deg =  6 */    127,   1019,   1290,   1528,   2288,   2577, 
/* msg =   1214, deg =  6 */    126,   1022,   1291,   1527,   2291,   2578, 
/* msg =   1215, deg =  6 */    125,   1014,   1292,   1526,   2294,   2579, 
/* msg =   1216, deg =  6 */    124,   1017,   1293,   1525,   2297,   2580, 
/* msg =   1217, deg =  6 */    123,   1020,   1294,   1524,   2289,   2581, 
/* msg =   1218, deg =  6 */    122,   1012,   1295,   1523,   2292,   2582, 
/* msg =   1219, deg =  6 */    121,   1015,   1296,   1522,   2295,   2583, 
/* msg =   1220, deg =  6 */    131,   1018,   1297,   1521,   2298,   2584, 
/* msg =   1221, deg =  6 */    383,   1230,   1298,   2059,   2543,   2585, 
/* msg =   1222, deg =  6 */    380,   1231,   1299,   2064,   2544,   2586, 
/* msg =   1223, deg =  6 */    377,   1221,   1300,   2058,   2545,   2587, 
/* msg =   1224, deg =  6 */    374,   1222,   1301,   2063,   2546,   2588, 
/* msg =   1225, deg =  6 */    382,   1223,   1302,   2057,   2547,   2589, 
/* msg =   1226, deg =  6 */    379,   1224,   1303,   2062,   2548,   2590, 
/* msg =   1227, deg =  6 */    376,   1225,   1304,   2067,   2549,   2591, 
/* msg =   1228, deg =  6 */    384,   1226,   1305,   2061,   2550,   2592, 
/* msg =   1229, deg =  6 */    381,   1227,   1306,   2066,   2551,   2593, 
/* msg =   1230, deg =  6 */    378,   1228,   1307,   2060,   2541,   2594, 
/* msg =   1231, deg =  6 */    375,   1229,   1308,   2065,   2542,   2595, 
/* msg =   1232, deg =  6 */    229,    636,   1309,   1828,   2356,   2596, 
/* msg =   1233, deg =  6 */    228,    631,   1310,   1835,   2359,   2597, 
/* msg =   1234, deg =  6 */    227,    637,   1311,   1831,   2362,   2598, 
/* msg =   1235, deg =  6 */    226,    632,   1312,   1827,   2354,   2599, 
/* msg =   1236, deg =  6 */    225,    627,   1313,   1834,   2357,   2600, 
/* msg =   1237, deg =  6 */    224,    633,   1314,   1830,   2360,   2601, 
/* msg =   1238, deg =  6 */    223,    628,   1315,   1826,   2363,   2602, 
/* msg =   1239, deg =  6 */    222,    634,   1316,   1833,   2355,   2603, 
/* msg =   1240, deg =  6 */    221,    629,   1317,   1829,   2358,   2604, 
/* msg =   1241, deg =  6 */    220,    635,   1318,   1836,   2361,   2605, 
/* msg =   1242, deg =  6 */    230,    630,   1319,   1832,   2364,   2606, 
/* msg =   1243, deg =  6 */    438,    889,   1199,   1597,   2048,   2607, 
/* msg =   1244, deg =  6 */    435,    882,   1200,   1595,   2053,   2608, 
/* msg =   1245, deg =  6 */    432,    886,   1201,   1604,   2047,   2609, 
/* msg =   1246, deg =  6 */    429,    890,   1202,   1602,   2052,   2610, 
/* msg =   1247, deg =  6 */    437,    883,   1203,   1600,   2046,   2611, 
/* msg =   1248, deg =  6 */    434,    887,   1204,   1598,   2051,   2612, 
/* msg =   1249, deg =  6 */    431,    880,   1205,   1596,   2056,   2613, 
/* msg =   1250, deg =  6 */    439,    884,   1206,   1605,   2050,   2614, 
/* msg =   1251, deg =  6 */    436,    888,   1207,   1603,   2055,   2615, 
/* msg =   1252, deg =  6 */    433,    881,   1208,   1601,   2049,   2616, 
/* msg =   1253, deg =  6 */    430,    885,   1209,   1599,   2054,   2617, 
/* msg =   1254, deg =  6 */    647,   1142,   1210,   1374,   1861,   2618, 
/* msg =   1255, deg =  6 */    642,   1133,   1211,   1369,   1868,   2619, 
/* msg =   1256, deg =  6 */    648,   1135,   1212,   1364,   1864,   2620, 
/* msg =   1257, deg =  6 */    643,   1137,   1213,   1370,   1860,   2621, 
/* msg =   1258, deg =  6 */    638,   1139,   1214,   1365,   1867,   2622, 
/* msg =   1259, deg =  6 */    644,   1141,   1215,   1371,   1863,   2623, 
/* msg =   1260, deg =  6 */    639,   1143,   1216,   1366,   1859,   2624, 
/* msg =   1261, deg =  6 */    645,   1134,   1217,   1372,   1866,   2625, 
/* msg =   1262, deg =  6 */    640,   1136,   1218,   1367,   1862,   2626, 
/* msg =   1263, deg =  6 */    646,   1138,   1219,   1373,   1869,   2627, 
/* msg =   1264, deg =  6 */    641,   1140,   1220,   1368,   1865,   2628, 
/* msg =   1265, deg =  6 */     65,    856,   1221,   1553,   2466,   2629, 
/* msg =   1266, deg =  6 */     59,    849,   1222,   1551,   2468,   2630, 
/* msg =   1267, deg =  6 */     64,    853,   1223,   1560,   2470,   2631, 
/* msg =   1268, deg =  6 */     58,    857,   1224,   1558,   2472,   2632, 
/* msg =   1269, deg =  6 */     63,    850,   1225,   1556,   2474,   2633, 
/* msg =   1270, deg =  6 */     57,    854,   1226,   1554,   2465,   2634, 
/* msg =   1271, deg =  6 */     62,    847,   1227,   1552,   2467,   2635, 
/* msg =   1272, deg =  6 */     56,    851,   1228,   1561,   2469,   2636, 
/* msg =   1273, deg =  6 */     61,    855,   1229,   1559,   2471,   2637, 
/* msg =   1274, deg =  6 */     55,    848,   1230,   1557,   2473,   2638, 
/* msg =   1275, deg =  6 */     60,    852,   1231,   1555,   2464,   2639, 
/* msg =   1276, deg =  6 */    317,   1186,   1232,   1370,   2235,   2519, 
/* msg =   1277, deg =  6 */    315,   1177,   1233,   1365,   2239,   2520, 
/* msg =   1278, deg =  6 */    313,   1179,   1234,   1371,   2243,   2521, 
/* msg =   1279, deg =  6 */    311,   1181,   1235,   1366,   2236,   2522, 
/* msg =   1280, deg =  6 */    309,   1183,   1236,   1372,   2240,   2523, 
/* msg =   1281, deg =  6 */    318,   1185,   1237,   1367,   2233,   2524, 
/* msg =   1282, deg =  6 */    316,   1187,   1238,   1373,   2237,   2525, 
/* msg =   1283, deg =  6 */    314,   1178,   1239,   1368,   2241,   2526, 
/* msg =   1284, deg =  6 */    312,   1180,   1240,   1374,   2234,   2527, 
/* msg =   1285, deg =  6 */    310,   1182,   1241,   1369,   2238,   2528, 
/* msg =   1286, deg =  6 */    308,   1184,   1242,   1364,   2242,   2529, 
/* msg =   1287, deg =  6 */     58,    570,   1243,   2004,   2510,   2530, 
/* msg =   1288, deg =  6 */     63,    566,   1244,   2010,   2512,   2531, 
/* msg =   1289, deg =  6 */     57,    562,   1245,   2005,   2514,   2532, 
/* msg =   1290, deg =  6 */     62,    569,   1246,   2011,   2516,   2533, 
/* msg =   1291, deg =  6 */     56,    565,   1247,   2006,   2518,   2534, 
/* msg =   1292, deg =  6 */     61,    561,   1248,   2012,   2509,   2535, 
/* msg =   1293, deg =  6 */     55,    568,   1249,   2007,   2511,   2536, 
/* msg =   1294, deg =  6 */     60,    564,   1250,   2002,   2513,   2537, 
/* msg =   1295, deg =  6 */     65,    571,   1251,   2008,   2515,   2538, 
/* msg =   1296, deg =  6 */     59,    567,   1252,   2003,   2517,   2539, 
/* msg =   1297, deg =  6 */     64,    563,   1253,   2009,   2508,   2540, 
/* msg =   1298, deg =  6 */    273,    823,   1254,   1773,   2202,   2541, 
/* msg =   1299, deg =  6 */    271,    817,   1255,   1781,   2206,   2542, 
/* msg =   1300, deg =  6 */    269,    822,   1256,   1778,   2210,   2543, 
/* msg =   1301, deg =  6 */    267,    816,   1257,   1775,   2203,   2544, 
/* msg =   1302, deg =  6 */    265,    821,   1258,   1772,   2207,   2545, 
/* msg =   1303, deg =  6 */    274,    815,   1259,   1780,   2200,   2546, 
/* msg =   1304, deg =  6 */    272,    820,   1260,   1777,   2204,   2547, 
/* msg =   1305, deg =  6 */    270,    814,   1261,   1774,   2208,   2548, 
/* msg =   1306, deg =  6 */    268,    819,   1262,   1771,   2201,   2549, 
/* msg =   1307, deg =  6 */    266,    824,   1263,   1779,   2205,   2550, 
/* msg =   1308, deg =  6 */    264,    818,   1264,   1776,   2209,   2551, 
/* msg =   1309, deg =  6 */    482,   1076,   1265,   1542,   2015,   2552, 
/* msg =   1310, deg =  6 */    478,   1068,   1266,   1541,   2021,   2553, 
/* msg =   1311, deg =  6 */    474,   1071,   1267,   1540,   2016,   2554, 
/* msg =   1312, deg =  6 */    481,   1074,   1268,   1550,   2022,   2555, 
/* msg =   1313, deg =  6 */    477,   1077,   1269,   1549,   2017,   2556, 
/* msg =   1314, deg =  6 */    473,   1069,   1270,   1548,   2023,   2557, 
/* msg =   1315, deg =  6 */    480,   1072,   1271,   1547,   2018,   2558, 
/* msg =   1316, deg =  6 */    476,   1075,   1272,   1546,   2013,   2559, 
/* msg =   1317, deg =  6 */    483,   1067,   1273,   1545,   2019,   2560, 
/* msg =   1318, deg =  6 */    479,   1070,   1274,   1544,   2014,   2561, 
/* msg =   1319, deg =  6 */    475,   1073,   1275,   1543,   2020,   2562
};
#endif

